Logic and databases: Past, present, and future

AI Magazine

Volumn 18, Issue 3, 1997, Pages 21-47

  Minker, Jack ^a,b  

^a University of Maryland ^*  (United States)

^b NATIONAL SCIENCE FOUNDATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES;

DEDUCTIVE DATABASES; FIXPOINT THEORY; SEMANTIC QUERY OPTIMIZATION (SQO);

RELATIONAL DATABASE SYSTEMS;

EID: 0031234587     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (4)

1. Abiteboul, S., and Grumback, S. 1991. A Rule-Based Language with Functions and Sets. ACM Transactions on Database Systems 16(1)1: 1-30.
2. Bry, F. 1990. Query Evaluation in Recursive Databases: Bottom-Up and Top-Down Reconciled. Data and Knowledge Engineering 5:289-312.
3. Cacace, F.; Ceri, S.; Crespi-Reghizzi, S.; and Zicari, R. 1990. Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. In Proceedings of the ACM SIGMOD Conference on Management of Data, 225-236. New York: Association of Computing Machinery.
4. Fernández, J.; Grant, J.; and Minker, J. 1996. ModelTheoretic Approach to View Updates in Deductive Databases. Journal of Automated Reasoning 17(2): 171-197.