|
7
|
The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order
– Ronald van der Meyden, L. T. Mccarty
- 1992
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
50
|
Logic and Databases: a 20 Year Retrospective
– Jack Minker
- 1996
|
|
194
|
Query optimization in database systems
– Matthias Jarke, Jürgen Koch
- 1984
|
|
189
|
The Alternating Fixpoint of Logic Programs with Negation
– Allen Van Gelder
- 1995
|
|
2
|
Circumscribing Embedded Implications (Without Stratifications)
– L. Thorne Mccarty
- 1992
|
|
74
|
The expressive powers of logic programming semantics
– John S. Schlipf
- 1995
|
|
6
|
A Logical Semantics For Hypothetical Rulebases With Deletion
– Anthony J. Bonner
- 1997
|
|
14
|
Knowledgebase Transformations
– Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz
- 1992
|
|
8
|
A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming
– Atsushi Ohori
- 1989
|
|
3
|
Foundations Of Temporal Query Languages
– David Toman, Dr. Jan Chomicki
- 1995
|
|
1
|
On Problems Of Databases Over A Fixed Infinite Universe
– Oleg V. Belegradek, Alexei P. Stolboushkin, Michael, Michael A. Taitslin
- 1998
|
|
254
|
Relational Queries Computable in Polynomial Time
– Neil Immerman
- 1986
|
|
5
|
Equational theories and database constraints
– Stavros Stylianos Cosmadakis
- 1985
|
|
5
|
Databases and Finite-Model Theory
– Victor Vianu
- 1997
|
|
1
|
First-order Logic Characterization of Program Properties
– Ke Wang, Li Yan Yuan
- 1994
|
|
17
|
Finite-Model Theory - A Personal Perspective
– Ronald Fagin
- 1993
|
|
4
|
Tractable Deduction in Knowledge Representation Systems
– Mukesh Dalal
- 1992
|
|
18
|
Deductive Database Languages: Problems and Solutions
– Mengchi Liu
- 1999
|
