We provide a wide-ranging study of the scenario where a subset of the relations in the schema are visible - that is, their complete contents are known - while the remaining relations are invisible. We also have integrity constraints (invariants given by logical sentences) which may relate the visible relations to the invisible ones. We want to determine which information about a query (a positive existential sentence) can be inferred from the visible instance and the constraints. We consider both positive and negative query information, that is, whether the query or its negation holds. We consider the instance-level version of the problem, where both the query and the visible instance are given, as well as the schema-level version, where we want to know whether truth or falsity of the query can be inferred in some instance of the schema.

Querying Visible and Invisible Information

Puppis G.
2016-01-01

Abstract

We provide a wide-ranging study of the scenario where a subset of the relations in the schema are visible - that is, their complete contents are known - while the remaining relations are invisible. We also have integrity constraints (invariants given by logical sentences) which may relate the visible relations to the invisible ones. We want to determine which information about a query (a positive existential sentence) can be inferred from the visible instance and the constraints. We consider both positive and negative query information, that is, whether the query or its negation holds. We consider the instance-level version of the problem, where both the query and the visible instance are given, as well as the schema-level version, where we want to know whether truth or falsity of the query can be inferred in some instance of the schema.
2016
978-1-4503-4391-6
File in questo prodotto:
File Dimensione Formato  
LICS 2016 Editoriale.pdf

non disponibili

Descrizione: LICS 2016 versione editoriale
Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 205.29 kB
Formato Adobe PDF
205.29 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
LICS 2016 Postprint.pdf

accesso aperto

Descrizione: LICS 2016 versione post-print
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 184.21 kB
Formato Adobe PDF
184.21 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1174096
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 14
social impact