Testing XML constraint satisfiability

Nicole Bidoit; Dario Colazzo

doi:10.1016/j.entcs.2006.11.025

Testing XML constraint satisfiability

Nicole Bidoit, Dario Colazzo

Université Paris-Saclay

Research output: Contribution to journal › Article › peer-review

Abstract

In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing "well typed" references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of schemas.

Original language	English
Pages (from-to)	45-61
Number of pages	17
Journal	Electronic Notes in Theoretical Computer Science
Volume	174
Issue number	6
DOIs	https://doi.org/10.1016/j.entcs.2006.11.025
Publication status	Published - 3 Jun 2007
Externally published	Yes

Keywords

Database
Integrity constraints
Multimodal and Hybrid logic
Schema
Semistructured data

Access to Document

10.1016/j.entcs.2006.11.025

Cite this

@article{c38bea20f7d14746ae04e29b333e0c9b,

title = "Testing XML constraint satisfiability",

abstract = "In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing {"}well typed{"} references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of schemas.",

keywords = "Database, Integrity constraints, Multimodal and Hybrid logic, Schema, Semistructured data",

author = "Nicole Bidoit and Dario Colazzo",

year = "2007",

month = jun,

day = "3",

doi = "10.1016/j.entcs.2006.11.025",

language = "English",

volume = "174",

pages = "45--61",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

number = "6",

}

TY - JOUR

T1 - Testing XML constraint satisfiability

AU - Bidoit, Nicole

AU - Colazzo, Dario

PY - 2007/6/3

Y1 - 2007/6/3

N2 - In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing "well typed" references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of schemas.

AB - In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing "well typed" references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of schemas.

KW - Database

KW - Integrity constraints

KW - Multimodal and Hybrid logic

KW - Schema

KW - Semistructured data

U2 - 10.1016/j.entcs.2006.11.025

DO - 10.1016/j.entcs.2006.11.025

M3 - Article

AN - SCOPUS:34249729330

SN - 1571-0661

VL - 174

SP - 45

EP - 61

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 6

ER -

Testing XML constraint satisfiability

Abstract

Keywords

Access to Document

Fingerprint

Cite this