DEDUCTIVE 1998 | Sciweavers

19

click to vote

DEDUCTIVE
1992

109views Database» more DEDUCTIVE 1992»

Conditional Term Rewriting as a Deductive Database Language

13 years 5 months ago

Download www.cis.uab.edu

Zeki O. Bayram, Barrett R. Bryant

claim paper

Read More »

16

click to vote

DEDUCTIVE
1994

122views Database» more DEDUCTIVE 1994»

A Simple Model for Active Rules and their Behavior in Deductive Databases

13 years 5 months ago

Download www.cs.ucla.edu

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

claim paper

Read More »

13

click to vote

DEDUCTIVE
1994

119views Database» more DEDUCTIVE 1994»

Determining Correct View Update Translations via Query Containment

13 years 5 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

18

click to vote

DEDUCTIVE
1994

133views Database» more DEDUCTIVE 1994»

Expressive Power of Non-Deterministic Operators for Logic-based Languages

13 years 5 months ago

Download www.cs.ucla.edu

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...

claim paper

Read More »

19

click to vote

DEDUCTIVE
1996

105views Database» more DEDUCTIVE 1996»

Stable Semantics of Temporal Deductive Databases

13 years 5 months ago

Download lips.informatik.uni-leipzig.de

We dene 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

claim paper

Read More »

15

click to vote

DEDUCTIVE
1993

140views Database» more DEDUCTIVE 1993»

AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA

13 years 5 months ago

Download dbis-informatik.uibk.ac.at

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

claim paper

Read More »

12

click to vote

DEDUCTIVE
1993

103views Database» more DEDUCTIVE 1993»

Q-Data: Using Deductive Database Technology to Improve Data Quality

13 years 5 months ago

Download knoesis.wright.edu

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

claim paper

Read More »

14

click to vote

DEDUCTIVE
1997

119views Database» more DEDUCTIVE 1997»

Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++

13 years 6 months ago

Download www.cs.wayne.edu

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

claim paper

Read More »

21

click to vote

DEDUCTIVE
1997

127views Database» more DEDUCTIVE 1997»

CRD: A New Data Mining Method in Deductive Databases

13 years 6 months ago

Download www.icsi.berkeley.edu

Yunming Wang, Chun Tao, Yonggang Zhao, Yang Yang

claim paper