The living in a lattice rule language
- 31 January 1993
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 9 (3) , 249-286
- https://doi.org/10.1016/0169-023x(93)90010-m
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Boolean lattices of nested relations as a foundation for rule-based database languagesData & Knowledge Engineering, 1992
- A rule-based language with functions and setsACM Transactions on Database Systems, 1991
- A formal approach to object-oriented databasesData & Knowledge Engineering, 1990
- Integration of functions in logic database systemsData & Knowledge Engineering, 1990
- A calculus for complex objectsJournal of Computer and System Sciences, 1989
- Extended algebra and calculus for nested relational databasesACM Transactions on Database Systems, 1988
- IFO: a formal semantic database modelACM Transactions on Database Systems, 1987
- Interactions between dependencies and nested relational structuresJournal of Computer and System Sciences, 1985
- On interpretations of relational languages and solutions to the implied constraint problemACM Transactions on Database Systems, 1982
- Calculating constraints on relational expressionACM Transactions on Database Systems, 1980