Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  The Complexity of Reasoning about Pattern-based XML Schemas

Kasneci, G., & Schwentick, T. (2007). The Complexity of Reasoning about Pattern-based XML Schemas. In L. Libkin (Ed.), Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems: PODS 2007 (pp. 155-164). New York, NY, USA: ACM.

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
xmlschemas_pods2007.pdf (beliebiger Volltext), 5KB
 
Datei-Permalink:
-
Name:
xmlschemas_pods2007.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Kasneci, Gjergji1, Autor           
Schwentick, Thomas, Autor
Affiliations:
1Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In a recent paper, Martens et al. introduced a specification mechanism for {XML} tree languages, based on rules of the form r ! s, where r, s are regular expressions. Sets of such rules can be interpreted in an existential or a universal fashion. An {XML} tree is existentially valid with respect to a rule set, if for each node there is a rule such that the root path of the node matches r and the children sequence of the node matches s. It is universally valid if each node matching r also matches s. This paper investigates the complexity of reasoning about such rule sets, in particular the satisfiability and the implication problem. Whereas, in general these reasoning problems are complete for ExpTime, two important fragments are identified with PSpace and PTime complexity, respectively.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2008-03-262007
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: New York, NY, USA : ACM
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 356479
DOI: 10.1145/1265530.1265552
Anderer: Local-ID: C12573CC004A8E26-2C8D5B88DC032B5EC125728B0034FC6B-KasneciSchwentick2007PODS
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Beijing, China
Start-/Enddatum: 2007-06-11 - 2007-06-14

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems : PODS 2007
Genre der Quelle: Konferenzband
 Urheber:
Libkin, Leonid, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: New York, NY, USA : ACM
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 155 - 164 Identifikator: ISBN: 978-1-59593-685-1