Monadic databases with equality

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationMFDBS 1991 - 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Proceedings
EditorsHans-Detlef Gerhardt, Bernhard Thalheim, Janos Demetrovics
PublisherSpringer Verlag
Pages74-88
Number of pages15
ISBN (Print)9783540540090
DOIs
StatePublished - Jan 1 1991
Externally publishedYes
Event3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS 1991 - Rostock, Germany
Duration: May 6 1991May 9 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume495 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS 1991
CountryGermany
CityRostock
Period5/6/915/9/91

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Monadic databases with equality'. Together they form a unique fingerprint.

Cite this