Constraints and DatabasesRaghu Ramakrishnan, Peter Stuckey Constraints and Databases contains seven contributions on the rapidly evolving research area of constraints and databases. This collection of original research articles has been compiled as a tribute to Paris C. Kanellakis, one of the pioneers in the field. Constraints have long been used for maintaining the integrity of databases. More recently, constraint databases have emerged where databases store and manipulate data in the form of constraints. The generality of constraint databases makes them highly attractive for many applications. Constraints provide a uniform mechanism for describing heterogenous data, and advanced constraint solving methods can be used for efficient manipulation of constraint data. The articles included in this book cover the range of topics involving constraints and databases; join algorithms, evaluation methods, applications (e.g. data mining) and implementations of constraint databases, as well as more traditional topics such as integrity constraint maintenance. Constraints and Databases is an edited volume of original research comprising invited contributions by leading researchers. |
Contents
The CCUBE Constraint ObjectOriented Database System | 245 |
Toward Practical Query Evaluation for Constraint Databases | 279 |
A Decompositional Approach for Computing Least FixedPoints of Datalog Programs with ZCounters | 305 |
Memoing Evaluation for Constraint Extensions of Datalog | 337 |
Refining Restriction Enzyme Genome Maps | 361 |
Maintaining Global Integrity Constraints in Distributed Databases | 377 |
Implementation and Evaluation of Decision Trees with Range and Region Splitting | 401 |
Other editions - View all
Common terms and phrases
algorithm ans(G application arithmetic atomic automaton body(tc(X bottom-up evaluation C_LIN C₁ canonical form CCUBE clause clone CLP(R collection monoids complete local tests Computer conjunction consider constraint algebra constraint databases constraint logic programming Constraint Memoing Constraint Programming constraint query constraint tuple construct cost CST objects Database Systems Datalog Datalog program dataset decision tree decomposition rule defined deletion denote dens5 disjunction entropy Error ratio evaluation plans example expression Figure filtering finite free variables genome map heuristics implementation insertion integer ki,j Lemma linear linear programming method monoid comprehensions negation number of tuples numeric attributes ObjectStore operations optimization path Petri nets predicates Presburger arithmetic Principles of Database Proc programs with Z-counters query evaluation query languages query optimization Rectilinear recursive region relation remote result Revesz satisfied Section SLG-trees splitting step constraint subgoals Theorem top-down tuples X-monotone