8 search results - page 2 / 2 » Evaluation of Declarative n-Queens Recursion: A Deductive Da... |
IDEAS
2009
IEEE
13 years 12 months ago
2009
IEEE
This paper is concerned with a transformation-based approach to update propagation in an extended version of Codd’s relational algebra which allows for defining derived relatio...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
PODS
1991
ACM
13 years 8 months ago
1991
ACM
A novel approach is proposed for ezpresaing and computing eficienily a large cla88 of problem8, including jinding the shortest path in a graph, that were previously considered imp...