Safety and correct translation of relational calculus formulas
- 1 June 1987
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 313-327
- https://doi.org/10.1145/28659.28693
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- Horn clauses and database dependencies (Extended Abstract)Published by Association for Computing Machinery (ACM) ,1980
- The Recursive Unsolvability of the Decision Problem for the Class of Definite FormulasJournal of the ACM, 1969