Constrained dependencies
- 20 February 1997
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 173 (1), 113-149
- https://doi.org/10.1016/s0304-3975(96)00193-4
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- A hierarchy of constraint systems for data-flow analysis of constraint logic-based languagesScience of Computer Programming, 1998
- Logical design for temporal databases with multiple granularitiesACM Transactions on Database Systems, 1997
- Constraint logic programming: a surveyThe Journal of Logic Programming, 1994
- Some results on the containment and minimization of (in) equality queriesInformation Processing Letters, 1994
- Abstract interpretation of logic programs using magic transformationsThe Journal of Logic Programming, 1994
- A canonical form for generalized linear constraintsJournal of Symbolic Computation, 1992
- On derived dependencies and connected databasesThe Journal of Logic Programming, 1991
- Functional computations in logic programsACM Transactions on Programming Languages and Systems, 1989
- Calculating constraints on relational expressionACM Transactions on Database Systems, 1980
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979