61 search results - page 2 / 13 » deductive 1998 |
DEDUCTIVE
1993
13 years 6 months ago
1993
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...
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...
AML
1998
13 years 4 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
DEDUCTIVE
1993
13 years 6 months ago
1993
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...
DEDUCTIVE
1994
13 years 6 months ago
1994
Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...