Set constructors in a logic database language
- 1 April 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 10 (3-4) , 181-232
- https://doi.org/10.1016/0743-1066(91)90036-o
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- LDL-a technology for the realization of tightly coupled expert database systemsIEEE Expert, 1988
- Types and persistence in database programming languagesACM Computing Surveys, 1987
- An amateur's introduction to recursive query processing strategiesACM SIGMOD Record, 1986
- Natural deduction based set theories: a new resolution of the old paradoxesThe Journal of Symbolic Logic, 1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955