TY - GEN

T1 - Monadic databases with equality

AU - Theodoratos, Dimitri

PY - 1991/1/1

Y1 - 1991/1/1

N2 - Monadic logic with equality (a restriction of first order logic with equality to a language having only unary predicate symbols) can be used to define deductive databases called monadic databases with equality (ME-databases). ME-databases allow us to model positive information (there exists an object having certain properties), unique positive information (there exists only one object having certain properties), negative information (the negation of a positive information) and rules (every object having certain properties has also some other properties). The originality of this approach is that domain elements are represented by unary predicate symbols and not as constant symbols. We provide a formal system for ME-databases and we prove its soundness and completeness. We give also polynomial algorithms for evaluating elementary queries corresponding to the implication problem on ME-databases.

AB - Monadic logic with equality (a restriction of first order logic with equality to a language having only unary predicate symbols) can be used to define deductive databases called monadic databases with equality (ME-databases). ME-databases allow us to model positive information (there exists an object having certain properties), unique positive information (there exists only one object having certain properties), negative information (the negation of a positive information) and rules (every object having certain properties has also some other properties). The originality of this approach is that domain elements are represented by unary predicate symbols and not as constant symbols. We provide a formal system for ME-databases and we prove its soundness and completeness. We give also polynomial algorithms for evaluating elementary queries corresponding to the implication problem on ME-databases.

UR - http://www.scopus.com/inward/record.url?scp=84899845329&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84899845329&partnerID=8YFLogxK

U2 - 10.1007/3-540-54009-1_6

DO - 10.1007/3-540-54009-1_6

M3 - Conference contribution

AN - SCOPUS:84899845329

SN - 9783540540090

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 74

EP - 88

BT - MFDBS 1991 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Proceedings

A2 - Gerhardt, Hans-Detlef

A2 - Thalheim, Bernhard

A2 - Demetrovics, Janos

PB - Springer Verlag

T2 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS 1991

Y2 - 6 May 1991 through 9 May 1991

ER -