Semistructured data is now widely used in both web applications and database systems. There are m... more Semistructured data is now widely used in both web applications and database systems. There are many research challenges in this area, such as data integra- tion, change management, view definition, and data normalization. Traditionally in these areas a formal- ism is defined for the database model, and properties of the algorithms can be reasoned about, such as the dependency preserving property of the normalization algorithm in the relational data model. Because re- search into semistructured data is still in its infancy, many algorithms have been defined in this area and a number of formalisms have been proposed but there is no widely accepted formalism that is generally ac- cepted to reason about the properties of the algo- rithms. Such a formalism must capture all the nec- essary semantics required to model the algorithms, should not be too complex, and should be easy to use. Another area that has been developing steadily is automatic verification. This involves formally speci-...
Semistructured data is now widely used in both web applications and database systems. There are m... more Semistructured data is now widely used in both web applications and database systems. There are many research challenges in this area, such as data integra- tion, change management, view definition, and data normalization. Traditionally in these areas a formal- ism is defined for the database model, and properties of the algorithms can be reasoned about, such as the dependency preserving property of the normalization algorithm in the relational data model. Because re- search into semistructured data is still in its infancy, many algorithms have been defined in this area and a number of formalisms have been proposed but there is no widely accepted formalism that is generally ac- cepted to reason about the properties of the algo- rithms. Such a formalism must capture all the nec- essary semantics required to model the algorithms, should not be too complex, and should be easy to use. Another area that has been developing steadily is automatic verification. This involves formally speci-...
Uploads
Papers by li scott