Detailansicht

InhaltsangabePlanar topological queries (extended abstract).- An informal introduction to constraint database systems (extended abstract).- Query evaluation as constraint search; an overview of early results.- Computing the well-founded semantics for constraint extensions of datalog?.- Decomposition and lossless join in constraint databases.- A rule-based CQL for 2-dimensional tables.- On the expressiveness of query languages with linear constraints; capturing desirable spatial properties.- On expressing topological connectivity in spatial Datalog.- The C 3 constraint object-oriented database system: An overview.- Integrity constraint checking in Chimera.- SICSDD: Techniques and implementation.- A temporal constraint system for object-oriented databases.- Using database versions to implement temporal integrity constraints.- Genomic database applications in DISCO.- Constraint databases and program analysis using abstract interpretation.- Querying indexed files.- On the complexity of BV-tree updates.- Implementing index data structures using constraint logic programming.- Problem solving in the DISCO constraint database system.- Interval domain library for ECLiPSe and its application.- A semantic query optimization algorithm for object-oriented databases.