Sciweavers

DEDUCTIVE
1992
109views Database» more  DEDUCTIVE 1992»
14 years 1 days ago
Conditional Term Rewriting as a Deductive Database Language
Zeki O. Bayram, Barrett R. Bryant
DEDUCTIVE
1994
122views Database» more  DEDUCTIVE 1994»
14 years 6 days ago
A Simple Model for Active Rules and their Behavior in Deductive Databases
Recent advances in non-monotonic semantics of deductive databases provide a simple framework for modeling the even-condition-action rules of active databases. This approach unifie...
Carlo Zaniolo, Reza Sadri
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
14 years 6 days ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
DEDUCTIVE
1994
133views Database» more  DEDUCTIVE 1994»
14 years 6 days ago
Expressive Power of Non-Deterministic Operators for Logic-based Languages
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...
Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Ca...
DEDUCTIVE
1996
105views Database» more  DEDUCTIVE 1996»
14 years 6 days ago
Stable Semantics of Temporal Deductive Databases
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...
Heinrich Herre, Gerd Wagner
DEDUCTIVE
1993
140views Database» more  DEDUCTIVE 1993»
14 years 6 days ago
AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...
Günther Specht, Burkhard Freitag
DEDUCTIVE
1993
103views Database» more  DEDUCTIVE 1993»
14 years 6 days ago
Q-Data: Using Deductive Database Technology to Improve Data Quality
This chapter discusses an extended deductive database prototype system, Q-Data, developed by Bellcore to improve data quality through data validation and cleanup. The key technolo...
Amit P. Sheth, Christopher Wood, Vipul Kashyap
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
14 years 7 days ago
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
Hasan M. Jamil
DEDUCTIVE
1997
127views Database» more  DEDUCTIVE 1997»
14 years 7 days ago
CRD: A New Data Mining Method in Deductive Databases
Yunming Wang, Chun Tao, Yonggang Zhao, Yang Yang
DEDUCTIVE
1998
127views Database» more  DEDUCTIVE 1998»
14 years 7 days ago
Universal Temporal Data Languages
Cindy Xinmin Chen, Carlo Zaniolo