Verifying Integrity Constraints on Web Sites

Fernández, Mary F.; Florescu, Daniela; Levy, Alon Y.; Suciu, Dan

Verifying Integrity Constraints on Web Sites

Mary F. Fernández, Daniela Florescu, Alon Y. Levy, Dan Suciu

Download BibTeX Cite

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Knowledge-based Applications. Pages 614-618.

Abstract

Data-intensive Web sites have created a new form of knowledge base, as richly structured bodies of data. Several novel systems for creating dataintensive Web sites support declarative specification of a site's structure and content (i.e., the pages, the data available in each page, and the links between pages). Declarative systems provide a platform on which AI techniques can be developed that further simplify the tasks of constructing and maintaining Web sites. This paper addresses the problem of specifying and verifying integrity constraints on a Web site's structure . We describe a language that can capture many practical constraints and an accompanying sound and complete verification algorithm. The a lgorithm has the important property that if the constraints are vi olated, it proposes fixes to ei ther the constraints or to the site definition. Finally, we establish tight bounds on the complexity of the verification problem we consider.

Mary F. Fernández, Daniela Florescu, Alon Y. Levy, and Dan Suciu. 1999. Verifying Integrity Constraints on Web Sites. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. IJCAI, 614–618. https://ijcai.org/proceedings/1999/88

@inproceedings{ijcai1999p88,
  title     = {Verifying Integrity Constraints on Web Sites},
  author    = {Fernández, Mary F. and Florescu, Daniela and Levy, Alon Y. and Suciu, Dan},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-99}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Thomas Dean},
  pages     = {614--618},
  year      = {1999},
  note      = {Knowledge-based Applications},
  url       = {https://ijcai.org/proceedings/1999/88},
}

TY  - CPAPER
TI  - Verifying Integrity Constraints on Web Sites
AU  - Fernández, Mary F.
AU  - Florescu, Daniela
AU  - Levy, Alon Y.
AU  - Suciu, Dan
T2  - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1999
SP  - 614
EP  - 618
UR  - https://ijcai.org/proceedings/1999/88
ER  -