We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Databases

Title: Inference Rules for Binary Predicates in a Multigranular Framework

Abstract: In a multigranular framework, the two most important binary predicates are those for subsumption and disjointness. In the first part of this work, a sound and complete inference system for assertions using these predicates is developed. It is customized for the granular framework; particularly, it models both bottom and top granules correctly, and it requires all granules other then the bottom to be nonempty. Furthermore, it is single use, in the sense that no assertion is used more than once as an antecedent in a proof.
In the second part of this work, a method is developed for extending a sound and complete inference system on a framework which admits Armstrong models to one which provides sound and complete inference on all assertions, both positive and negative. This method is then applied to the binary granule predicates, to obtain a sound and complete inference system for subsumption and disjointness, as well as their negations.
Subjects: Databases (cs.DB)
Cite as: arXiv:2303.15138 [cs.DB]
  (or arXiv:2303.15138v1 [cs.DB] for this version)

Submission history

From: M. Andrea Rodriguez Ph.D. [view email]
[v1] Mon, 27 Mar 2023 12:14:08 GMT (656kb)

Link back to: arXiv, form interface, contact.