SYGRAF: implementing logic programs in a database style
- 1 July 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (7), 922-935
- https://doi.org/10.1109/32.42735
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Moving selections into linear least fixpoint queriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Safety of recursive Horn clauses with infinite relationsPublished by Association for Computing Machinery (ACM) ,1987
- A problem-oriented inferential database systemACM Transactions on Database Systems, 1986
- A basis for deductive database systems IIThe Journal of Logic Programming, 1986
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- An enhanced inference mechanism for generating relational algebra queriesPublished by Association for Computing Machinery (ACM) ,1984
- Foundations of Logic ProgrammingPublished by Springer Science and Business Media LLC ,1984
- On recursive axioms in deductive databasesInformation Systems, 1983
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Universality of data retrieval languagesPublished by Association for Computing Machinery (ACM) ,1979