Sciweavers

7 search results - page 1 / 2
» Stable Semantics of Temporal Deductive Databases
Sort
View
DEDUCTIVE
1996
105views Database» more  DEDUCTIVE 1996»
13 years 6 months 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
DOOD
1995
Springer
102views Database» more  DOOD 1995»
13 years 8 months ago
Active Database Rules with Transaction-Conscious Stable-Model Semantics
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
Carlo Zaniolo
VLDB
1993
ACM
121views Database» more  VLDB 1993»
13 years 8 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis
RULES
1993
Springer
134views Database» more  RULES 1993»
13 years 8 months ago
Temporal Rule Specification and Management in Object-oriented Knowledge Bases
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
Stanley Y. W. Su, Hsin-Hsing M. Chen