483 search results - page 2 / 97 » Model Based Deduction for Database Schema Reasoning |
DEDUCTIVE
1996
13 years 6 months ago
1996
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...
FMLDO
2000
Springer
13 years 8 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
DEDUCTIVE
1997
13 years 6 months ago
1997
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...
ICDE
1991
IEEE
13 years 8 months ago
1991
IEEE
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
