Sciweavers

73 search results - page 1 / 15
» The CORAL Deductive Database System
Sort
View
AMAST
1995
Springer
15 years 2 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»
15 years 3 months ago
The CORAL Deductive Database System
Raghu Ramakrishnan, William G. Roth, Praveen Sesha...
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
15 years 9 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
ICEIS
2005
IEEE
15 years 4 months ago
A Formal Definition for Object-Relational Database Metrics
Aline Lúcia Baroni, Coral Calero, Mario Pia...
DEDUCTIVE
1993
103views Database» more  DEDUCTIVE 1993»
15 years 8 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