FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2495951634> ?p ?o ?g. }

• W2495951634 abstract "Abstract Relational database systems may serve to evaluate an open query under closed-world semantics. The evaluation returns an explicit output relation complemented with an often implicit statement about the completeness of that relation. The output relation is formed from all those tuples that both fit the format and satisfy the properties expressed in the query. Using first-order logic for specifying formal semantics, the output relation can be seen as a set of (ground) sentences obtained from the query formula by suitable substitutions of free variables by constants. A statement about the completeness of a relation can also explicitly be formalized as a sentence of first-order logic. Inference control for enforcing a confidentiality policy has to inspect and to possibly distort not only the sentences representing the tuples of the output relation but also the completeness sentences. Previously designed and formally verified control procedures employ theorem-proving for such inspections while iteratively considering candidates for those sentences and determining termination conditions, respectively. In this article, we outline an implementation of these control procedures and treat improvements of their runtime efficiency, in particular to overcome shortcomings of the underlying theorem prover, which is repeatedly called with an input comprising a completeness sentence of increasing size. The improvements are obtained by an equivalent rewriting of completeness sentences, exploiting the active domain or introducing new constants for combinations of the original constants, respectively, as well as by optimizing the number of such calls. Besides theoretical complexity considerations, we also present practical evaluations for some examples. These examples include queries that—without control—would return the whole underlying database relations and—with control—can be used for confidentiality-preserving data publishing." @default.
• W2495951634 created "2016-08-23" @default.
• W2495951634 creator A5023921545 @default.
• W2495951634 creator A5051690175 @default.
• W2495951634 creator A5074339345 @default.
• W2495951634 date "2017-10-01" @default.
• W2495951634 modified "2023-09-27" @default.
• W2495951634 title "Inference control of open relational queries under closed-world semantics based on theorem proving" @default.
• W2495951634 cites W1484320113 @default.
• W2495951634 cites W1489366126 @default.
• W2495951634 cites W1558832481 @default.
• W2495951634 cites W1573992413 @default.
• W2495951634 cites W1608919947 @default.
• W2495951634 cites W1683212044 @default.
• W2495951634 cites W1969789681 @default.
• W2495951634 cites W1982335840 @default.
• W2495951634 cites W2037956976 @default.
• W2495951634 cites W2058970046 @default.
• W2495951634 cites W2097314293 @default.
• W2495951634 cites W2142406320 @default.
• W2495951634 cites W2167117783 @default.
• W2495951634 cites W2472401858 @default.
• W2495951634 cites W2578746756 @default.
• W2495951634 cites W2579532545 @default.
• W2495951634 cites W2617606417 @default.
• W2495951634 cites W65368003 @default.
• W2495951634 doi "https://doi.org/10.1016/j.is.2016.07.008" @default.
• W2495951634 hasPublicationYear "2017" @default.
• W2495951634 type Work @default.
• W2495951634 sameAs 2495951634 @default.
• W2495951634 citedByCount "1" @default.
• W2495951634 countsByYear W24959516342018 @default.
• W2495951634 crossrefType "journal-article" @default.
• W2495951634 hasAuthorship W2495951634A5023921545 @default.
• W2495951634 hasAuthorship W2495951634A5051690175 @default.
• W2495951634 hasAuthorship W2495951634A5074339345 @default.
• W2495951634 hasConcept C100481476 @default.
• W2495951634 hasConcept C11413529 @default.
• W2495951634 hasConcept C118615104 @default.
• W2495951634 hasConcept C118930307 @default.
• W2495951634 hasConcept C124101348 @default.
• W2495951634 hasConcept C134306372 @default.
• W2495951634 hasConcept C154690210 @default.
• W2495951634 hasConcept C154945302 @default.
• W2495951634 hasConcept C17231256 @default.
• W2495951634 hasConcept C17744445 @default.
• W2495951634 hasConcept C199360897 @default.
• W2495951634 hasConcept C199539241 @default.
• W2495951634 hasConcept C200116569 @default.
• W2495951634 hasConcept C206880738 @default.
• W2495951634 hasConcept C25343380 @default.
• W2495951634 hasConcept C2776214188 @default.
• W2495951634 hasConcept C2777026412 @default.
• W2495951634 hasConcept C2777530160 @default.
• W2495951634 hasConcept C2780069185 @default.
• W2495951634 hasConcept C33923547 @default.
• W2495951634 hasConcept C39920170 @default.
• W2495951634 hasConcept C41008148 @default.
• W2495951634 hasConcept C5655090 @default.
• W2495951634 hasConcept C80444323 @default.
• W2495951634 hasConceptScore W2495951634C100481476 @default.
• W2495951634 hasConceptScore W2495951634C11413529 @default.
• W2495951634 hasConceptScore W2495951634C118615104 @default.
• W2495951634 hasConceptScore W2495951634C118930307 @default.
• W2495951634 hasConceptScore W2495951634C124101348 @default.
• W2495951634 hasConceptScore W2495951634C134306372 @default.
• W2495951634 hasConceptScore W2495951634C154690210 @default.
• W2495951634 hasConceptScore W2495951634C154945302 @default.
• W2495951634 hasConceptScore W2495951634C17231256 @default.
• W2495951634 hasConceptScore W2495951634C17744445 @default.
• W2495951634 hasConceptScore W2495951634C199360897 @default.
• W2495951634 hasConceptScore W2495951634C199539241 @default.
• W2495951634 hasConceptScore W2495951634C200116569 @default.
• W2495951634 hasConceptScore W2495951634C206880738 @default.
• W2495951634 hasConceptScore W2495951634C25343380 @default.
• W2495951634 hasConceptScore W2495951634C2776214188 @default.
• W2495951634 hasConceptScore W2495951634C2777026412 @default.
• W2495951634 hasConceptScore W2495951634C2777530160 @default.
• W2495951634 hasConceptScore W2495951634C2780069185 @default.
• W2495951634 hasConceptScore W2495951634C33923547 @default.
• W2495951634 hasConceptScore W2495951634C39920170 @default.
• W2495951634 hasConceptScore W2495951634C41008148 @default.
• W2495951634 hasConceptScore W2495951634C5655090 @default.
• W2495951634 hasConceptScore W2495951634C80444323 @default.
• W2495951634 hasLocation W24959516341 @default.
• W2495951634 hasOpenAccess W2495951634 @default.
• W2495951634 hasPrimaryLocation W24959516341 @default.
• W2495951634 hasRelatedWork W111435178 @default.
• W2495951634 hasRelatedWork W13925634 @default.
• W2495951634 hasRelatedWork W1479960293 @default.
• W2495951634 hasRelatedWork W1580074955 @default.
• W2495951634 hasRelatedWork W1600348769 @default.
• W2495951634 hasRelatedWork W1942516780 @default.
• W2495951634 hasRelatedWork W1989267168 @default.
• W2495951634 hasRelatedWork W2018142602 @default.
• W2495951634 hasRelatedWork W2023342223 @default.
• W2495951634 hasRelatedWork W2039914844 @default.
• W2495951634 hasRelatedWork W2096472861 @default.
• W2495951634 hasRelatedWork W2118045020 @default.
• W2495951634 hasRelatedWork W2157345790 @default.

• next