Sciweavers

73 search results - page 1 / 15
» The CORAL Deductive Database System
Sort
View
AMAST
1995
Springer
13 years 11 months ago
An Object-Oriented Front-end for Deductive Databases
: We present the Orlog deductive object-oriented database system prototype. The implementation of the system relies on the idea of reducing inheritance to deduction and giving a re...
Hasan M. Jamil, Laks V. S. Lakshmanan
SIGMOD
1993
ACM
118views Database» more  SIGMOD 1993»
13 years 11 months ago
The CORAL Deductive Database System
Raghu Ramakrishnan, William G. Roth, Praveen Sesha...
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
13 years 8 months 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
ICEIS
2005
IEEE
14 years 28 days ago
A Formal Definition for Object-Relational Database Metrics
Aline Lúcia Baroni, Coral Calero, Mario Pia...
DEDUCTIVE
1993
103views Database» more  DEDUCTIVE 1993»
13 years 8 months 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