Sign in
Logic in Databases
1996
1996
1996
Keyphrases
Publications
1996
Gillian Dobbie
,
Rodney W. Topor
Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases.
Logic in Databases
(1996)
Françoise Gire
,
H. Khanh Hoang
A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.
Logic in Databases
(1996)
Chitta Baral
,
Jorge Lobo
Formal Characterization of Active Databases.
Logic in Databases
(1996)
Bart Kuijpers
,
Jan Paredaens
,
Marc Smits
,
Jan Van den Bussche
Termination Properties of Spatial Datalog Programs.
Logic in Databases
(1996)
Arno Siebes
,
Shalom Tsur
,
Jeffrey D. Ullman
,
Laurent Vieille
,
Carlo Zaniolo
Deductive Databases: Challenges, Opportunities and Future Directions (Panel Discussion).
Logic in Databases
(1996)
Konstantinos Sagonas
,
Terrance Swift
,
David Scott Warren
The Limits of Fixed-Order Computation.
Logic in Databases
(1996)
Robert A. Kowalski
,
Fariba Sadri
Towards a Unified Agent Architecture that Combines Rationality with Reactivity.
Logic in Databases
(1996)
Luca Cabibbo
Expressiveness of Semipositive Logic Programs with Value Invention.
Logic in Databases
(1996)
Anthony J. Bonner
,
Giansalvatore Mecca
Sequence Datalog: Declarative String Manipulation in Databases.
Logic in Databases
(1996)
Hadassa Jakobovits
,
Dirk Vermeir
R-Stable Models for Logic Programs.
Logic in Databases
(1996)
Dominique Laurent
,
Christel Vrain
Learning Query Rules for Optimizing Databases with Update Rules.
Logic in Databases
(1996)
Sergio Greco
,
Cristinel Mateis
,
Eugenio Spadafora
Unification of Bounded Simple Set Terms in Deductive Databases.
Logic in Databases
(1996)
Bertram Ludäscher
,
Wolfgang May
,
Georg Lausen
Nested Transactions in a Logical Language for Active Rules.
Logic in Databases
(1996)
Laks V. S. Lakshmanan
,
Nematollaah Shiri
A Parametric Approach to Deductive Databases with Uncertainty.
Logic in Databases
(1996)
Patrizia Asirelli
,
Chiara Renso
,
Franco Turini
Language Extensions for Semantic Integration of Deductive Databases.
Logic in Databases
(1996)
Thomas Eiter
,
Nicola Leone
,
Domenico Saccà
The Expressive Power of Partial Models in Disjunctive Deductive Databases.
Logic in Databases
(1996)
Carme Martín
,
Jaume Sistac
Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking.
Logic in Databases
(1996)
Estrella Pulido
Database Query Evaluation with the STARBASE Method.
Logic in Databases
(1996)
V. S. Subrahmanian
,
Charlie Ward
A Deductive Database Approach to Planning in Uncertain Environments.
Logic in Databases
(1996)
Adrian Spalka
,
Armin B. Cremers
An Axiomatic Interpretation of Confidentiality Demands in Logic-Based Relational Databases.
Logic in Databases
(1996)
Nicola Leone
,
Pasquale Rullo
,
Francesco Scarcello
Stable Model Checking for Disjunctive Logic Programs.
Logic in Databases
(1996)
Jack Minker
Logic and Databases: A 20 Year Retrospective.
Logic in Databases
(1996)
Bob Kero
,
Shalom Tsur
The IQ System: A Deductive Database Information Lens for Reasoning about Textual Information.
Logic in Databases
(1996)
Dmitri Boulanger
Analysis of Logic-Based Systems.
Logic in Databases
(1996)