Uni-Logo
Sie sind hier: Startseite Daten Lehrstühle Datenbanken und Informationssysteme DEAXS - Formal Analysis of XML-Specifications
Artikelaktionen

DEAXS - Formal Analysis of XML-Specifications

New developments in databases build on XML technologies.

New developments in databases build on XML [5] technologies. Concepts of the relational model can be transferred to XML. This approach is not unproblematic. Transfer of integrity constraints causes a problem, some XML-specifications are unsatisfiable. The project presents tools for the development of XML-specifications. A formalization of XML-specifications and a transformation for model checking XML-specifications is developed. A deductive environment proves an extensive library of theorems with Isabelle [4]. A transformation generates constraints and MONA [1] proves that the constraints are unsatisfiable. The formalization proves the correctness of the constraints. Circular XML-specifications are unsatisfiable. A deductive checker generates F-Logic [2] facts that are checked with Florid [1]. The project presents a deductive checker based on circular XML-specifications.

http://dbis.informatik.uni-freiburg.de/index.php?project=deaxs

Benutzerspezifische Werkzeuge