149 citations found. Retrieving documents...
S.Naqvi,S. Tsur.
A Logical Language for Data andKnowledgeBases
. Computer SciencePress1989.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
First 50 documents
Next 50
Extending Datalog with Declarative Updates - Liu (2002)
(1 citation)
(Correct)
Set Unification - Dovier, Pontelli, Rossi (2001)
(1 citation)
(Correct)
Query by Class, Rule and Concept - Staudt, Nissen, Jeusfeld (1993)
(Correct)
Expressive Power of Non-Deterministic Operators.. - Corciulo.. (1994)
(Correct)
On the Unification of Active Databases and Deductive Databases - Zaniolo (1993)
(8 citations)
(Correct)
Efficient Forward Chaining for Declarative Rules In a.. - Wallis, Moss (1995)
(Correct)
Updates in a Rule-Based Language for Objects - Kramer, Lausen, Saake (1992)
(7 citations)
(Correct)
Set Constructors, Finite Sets, and Logical Semantics - Jana, Jayaraman
(Correct)
Visualizing and Querying Distributed Event - Traces With Hy
(Correct)
Active-U-Datalog: Integrating Active Rules in a.. - Bertino, Catania..
(Correct)
Design and Implementation of the Relationlog Deductive Database.. - Liu, al. (1998)
(1 citation)
(Correct)
Unknown Value Lists and Their Use for Semantic Analysis in IDA.. - Winiwarter (1996)
(Correct)
Inheritance in a Deductive Object Database Language with.. - Bertino, Guerrini, Montesi
(Correct)
Extended CUG for Free Word Order Languages and its Efficient.. - Winiwarter (1995)
(Correct)
Logic and Databases - Eder
(Correct)
A Modal Logic Formalism For Distributed And Parallel Knowledge .. - Levene, Loizou
(Correct)
Bulk Types: Built-In or Add-On? - Matthes, Schmidt (1991)
(Correct)
On Active Deductive Databases: The Statelog Approach - Lausen, Ludäscher, May (1998)
(2 citations)
(Correct)
AFramework fortheDesignofETLScenarios - Panosvassiliadis Alkissimitsis.. (2003)
(Correct)
Semantic Representations and Query Languages for Or-Sets - Libkin, Wong (1993)
(9 citations)
(Correct)
Optimization of Sequence Queries in Database Systems - Sadric (2001)
(Correct)
The GPR System: an Architecture for - Integrating Active And (1997)
(Correct)
Set Unification - Dovier, Pontelli, Rossi (2001)
(1 citation)
(Correct)
Overview of the ROL2 Deductive Object-Oriented Database System - Liu (1999)
(Correct)
The Deductive Database System LDL++ - Arni, Ong, Tsur, Wang, Zaniolo
Self-citation (Tsur)
(Correct)
First 50 documents
Next 50
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC