Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Database manipulating systems (DMS) formalDatabase manipulating systems (DMS) formalize operations on relational databases like adding new tuples or deleting existing ones. To ensure sufficient expressiveness for capturing practical database systems, DMS operations incorporate guarding expressions first-order</br>formulas over countable value domains. Those features impose infinite state, infinitely branching processes thus making automated reasoning about properties like the reachability of states intractable. Most recent approaches, therefore, restrict DMS to obtain decidable fragments. Nevertheless, a comprehensive semantic framework capturing full DMS, yet incorporating effective notions of data abstraction and process equivalence is an open issue. In this paper, we propose DMS process semantics based on principles of abstract interpretation. The concrete domain consists of all valid databases, whereas the abstract domain employs different constructions for unifying sets of databases being semantically equivalent up to particular fragments of the DMS guard language. The connection between abstract and concrete domains is effectively established by homomorphic mappings whose properties and restrictions depend on the expressiveness of the DMS fragment under consideration. We instantiate our framework for canonical DMS fragments and investigate semantical preservation of abstractions up to bisimilarity, being one of the strongest equivalence notions for operational process semantics.notions for operational process semantics.  +
Stephan Mennicke +, Tobias Schüler +  und Malte Lochau +
@inproceedings{SML2023,
  author    = {Tobias Sch{\"{u}}ler and Stephan Mennicke and Malte Lochau},
  title     = {Abstract Domains for Database Manipulating Processes},
  booktitle = {Rules and Reasoning - 7th International Joint Conference on Rules
               and Reasoning, {RuleML+RR} 2023, Proceedings},
  publisher = {Springer},
  year      = {2023},
  month     = {October}
}
Inproceedings  +
Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings  +
RR23-abstractDomains.pdf  +
Oktober  +
Tobias Schüler, Stephan Mennicke, Malte LoTobias Schüler, Stephan Mennicke, Malte Lochau<br/> '''[[Inproceedings3364|<b>Abstract Domains for Database Manipulating Processes</b>]]''' <br/>__NOTOC__<i>Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings</i>, October 2023. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3364|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:RR23-abstractDomains.pdf|Download]]a:RR23-abstractDomains.pdf|Download]]  +
Tobias Schüler, Stephan Mennicke, Malte LoTobias Schüler, Stephan Mennicke, Malte Lochau<br/> '''[[Inproceedings3364/en|<b>Abstract Domains for Database Manipulating Processes</b>]]''' <br/>__NOTOC__<i>Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings</i>, October 2023. Springer<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3364|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:RR23-abstractDomains.pdf|Download]]a:RR23-abstractDomains.pdf|Download]]  +
Springer  +
Abstract Domains for Database Manipulating Processes  +
inproceedings  +
2023  +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Abstract Domains for Database Manipulating Processes  +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
12. April 2024, 11:54:35  +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.