{"type":"ScholarlyArticle","title":"Verifying Integrity Constraints on Web Sites","authors":[{"name":"Mary F. Fernández","slug":"mary-f-fernandez","given":"Mary F.","family":"Fernández","affiliation":""},{"name":"Daniela Florescu","slug":"daniela-florescu","given":"Daniela","family":"Florescu","affiliation":""},{"name":"Alon Y. Levy","slug":"alon-y-levy","given":"Alon Y.","family":"Levy","affiliation":""},{"name":"Dan Suciu","slug":"dan-suciu","given":"Dan","family":"Suciu","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1999/88","pdf":"https://ijcai.org/proceedings/1999/0088.pdf","markdown":"https://ijcai.org/proceedings/1999/88.md","bibtex":"https://ijcai.org/proceedings/1999/bibtex/88","volume":{"slug":"1999","title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1999","url":"https://ijcai.org/proceedings/1999/","year":1999,"location":"Stockholm, Sweden","dates":"","editors":"Thomas Dean","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge-based Applications","track":"Knowledge-based Applications","number":88,"pages":{"first":614,"last":618},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}