A deductive database based on aristotelian logic
نویسندگان
چکیده
منابع مشابه
A Deductive Object-Oriented Database System based on Active Rules∗
This paper describes a Deductive Object-Oriented Database (DOOD) system that is built on top of an active Object-Oriented Database (OODB) system. The system, named DEVICE, uses the primitives of the latter, like active rules, simple and complex events, to integrate deductive and production rules. The integration is based on the emulation of deductive rules by special purpose if-then-else produc...
متن کاملA Prototype Constraint Deductive Database System based on HH¬(C)
This paper presents, from a user point of view, a deductive database system based on Hereditary Harrop Formulas with Constraints and Negation, HH¬(C). The Prolog implementation of this system is based on a fixpoint semantics proposed in a previous work. The answer to a query posed to a database is intended as a constraint of the constraint system associated to C. We have developed several solve...
متن کاملA logic-based theory of deductive arguments
We explore a framework for argumentation (based on classical logic) in which an argument is a pair where the first item in the pair is a minimal consistent set of formulae that proves the second item (which is a formula). We provide some basic definitions for arguments, and various kinds of counter-arguments (defeaters). This leads us to the definition of canonical undercuts which we argue are ...
متن کاملDES: A Deductive Database System
This work describes a novel implementation of a deductive database system which fills some gaps other systems do not. In fact, this system was born to this end and since its inception, many new features have been added (null values, outer joins, aggregates, ...). In particular, it embodies both Datalog and SQL query languages, where the same database can be queried. It enjoys an actual interact...
متن کاملPrototyping a Genetics Deductive Database
We are developing a laboratory notebook system known as the Genetics Deductive Database. Currently our prototype provides storage for biological facts and rules with flexible access via an interactive graphical display. We have introduced a formal basis for the representation and reasoning necessary to order genome map data and handle the uncertainty inherent in biological data. We aim to suppo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1989
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(89)80030-6