A relational calculus with set operators, its safety, and equivalent graphical languages
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (9) , 1038-1052
- https://doi.org/10.1109/32.31363
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Time-by-example query language for historical databasesIEEE Transactions on Software Engineering, 1989
- On optimizing summary-table-by-example queriesPublished by Association for Computing Machinery (ACM) ,1985
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- Horn clauses and database dependenciesJournal of the ACM, 1982
- Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate FunctionsJournal of the ACM, 1982
- Characterizing data base DependenciesPublished by Springer Nature ,1981
- Query-by-Example: A data base languageIBM Systems Journal, 1977
- A data base sublanguage founded on the relational calculusPublished by Association for Computing Machinery (ACM) ,1971
- The Recursive Unsolvability of the Decision Problem for the Class of Definite FormulasJournal of the ACM, 1969