No abstract available.
Cited By
- Maier D, Tekle K, Kifer M and Warren D Datalog Declarative Logic Programming, (3-100)
- Zaniolo C Logical foundations of continuous query languages for data streams Proceedings of the Second international conference on Datalog in Academia and Industry, (177-189)
- Greco S and Lisi F Logic programming languages for databases and the web A 25-year perspective on logic programming, (183-203)
- Codd E Relational database ACM Turing award lectures
- Schmidt H Communicating control knowledge to a deductive database system Proceedings of the 1992 ACM annual conference on Communications, (439-446)
- Demolombe R (1992). Syntactical characterization of a subset of domain-independent formulas, Journal of the ACM (JACM), 39:1, (71-94), Online publication date: 2-Jan-1992.
- Gardarin G Magic Functions Proceedings of the 13th International Conference on Very Large Data Bases, (21-30)
- Gallaire H, Minker J and Nicolas J (1987). Logic and databases: a response, ACM SIGPLAN Notices, 22:6, (20-24), Online publication date: 1-Jun-1987.
- Gardarin G and de Maindreville C (2019). Evaluation of database recursive logic programs as recurrent function series, ACM SIGMOD Record, 15:2, (177-186), Online publication date: 15-Jun-1986.
- Gardarin G and de Maindreville C Evaluation of database recursive logic programs as recurrent function series Proceedings of the 1986 ACM SIGMOD international conference on Management of data, (177-186)
- Tsur S and Zaniolo C LDL Proceedings of the 12th International Conference on Very Large Data Bases, (33-41)
- Gallaire H, Minker J and Nicolas J (1986). Logic and databases: a response, ACM SIGACT News, 18:2, (52-56), Online publication date: 1-Sep-1986.
- Jarke M, Clifford J and Vassiliou Y An optimizing prolog front-end to a relational query system Proceedings of the 1984 ACM SIGMOD international conference on Management of data, (296-306)
- Jarke M, Clifford J and Vassiliou Y (2019). An optimizing prolog front-end to a relational query system, ACM SIGMOD Record, 14:2, (296-306), Online publication date: 1-Jun-1984.
- Furtado A (1983). An informal approach to formal specifications, ACM SIGMOD Record, 13:3, (32-41), Online publication date: 1-Apr-1983.
- Furtado A (1983). An informal approach to formal specifications, ACM SIGMOD Record, 14:1, (45-54), Online publication date: 1-Sep-1983.
- Vassiliou Y, Clifford J and Jarke M How Does an Expert System Get its Data? (Extended Abstract) Proceedings of the 9th International Conference on Very Large Data Bases, (70-72)
- Gawron J, King J, Lamping J, Loebner E, Paulson E, Pullum G, Sag I and Wasow T Processing English with a Generalized Phrase Structure Grammar Proceedings of the 20th annual meeting on Association for Computational Linguistics, (74-81)
Recommendations
Data base design in theory and practice
VLDB '78: Proceedings of the fourth international conference on Very Large Data Bases - Volume 4The paper gives an overview of the data base design process. It claims that a practically useful, well integrated theory of data base design is clearly within reach. The following problem areas are touched upon in the paper: the purpose and role of a ...
Recent advances in computer architecture: the opportunities and challenges for provenance
TaPP'15: Proceedings of the 7th USENIX Conference on Theory and Practice of ProvenanceIn recent years several hardware and systems fields have made advances in technology that open new opportunities and challenges for provenance systems. In this paper we look at such technologies and discuss the implications they have for provenance. ...
A Data Base Management System
ACM '71: Proceedings of the 1971 26th annual conferenceA brief description of the advent of the Data Base Task Force at GUIDE and SHARE is given. Discussion of coordination among the several data base committees. The major components of the Data Base Management System (DBMS) proposed by the GUIDE Group are ...