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