Research into Verifying Semistructured Data

[1]  Jun Sun,et al.  Validating Semistructured Data Using OWL , 2006, WAIM.

[2]  Gillian Dobbie,et al.  A PVS Approach to Verifying ORA-SS Data Models , 2006, SEKE.

[3]  Meng Li,et al.  Stream Operators for Querying Data Streams , 2005, WAIM.

[4]  Sebastian Maneth,et al.  Efficient Memory Representation of XML Documents , 2005, DBPL.

[5]  Junhu Wang,et al.  Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies , 2005, ADC.

[6]  Tok Wang Ling,et al.  Semistructured Database Design , 2004 .

[7]  Tok Wang Ling,et al.  Semistructured Database Design (Web Information Systems Engineering and Internet Technologie) , 2004 .

[8]  Chengfei Liu,et al.  Strong functional dependencies and their application to normal forms in XML , 2004, TODS.

[9]  Marcelo Arenas,et al.  A normal form for XML documents , 2004, TODS.

[10]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[11]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[12]  Tok Wang Ling,et al.  Designing semistructured databases using ORA-SS model , 2001, Proceedings of the Second International Conference on Web Information Systems Engineering.

[13]  Dongwon Lee,et al.  Semantic Data Modeling Using XML Schemas , 2001, ER.

[14]  David W. Embley,et al.  Developing XML Documents with Guaranteed "Good" Properties , 2001, ER.

[15]  Laks V. S. Lakshmanan,et al.  TAX: A Tree Algebra for XML , 2001, DBPL.

[16]  Sushil Jajodia,et al.  Conceptual Modeling — ER 2001 , 2001, Lecture Notes in Computer Science.

[17]  Dan Suciu,et al.  Foundations of Semistructured Data , 2001 .

[18]  Dan Suciu,et al.  Typechecking for XML transformers , 2000, J. Comput. Syst. Sci..

[19]  M. Lee,et al.  ORA-SS: An Object-Relationship-Attribute Model for Semi-structured Data , 2000 .

[20]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

[21]  Thomas Kropf.  Formal Hardware Verification: Methods and Systems in Comparison , 1997 .

[22]  Mandayam K. Srivas,et al.  Hardware Verification Using PVS , 1997, Formal Hardware Verification.

[23]  Thomas Kropf.  Formal Hardware Verification , 1997, Lecture Notes in Computer Science.

[24]  Egon Börger,et al.  Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.

[25]  Jozef Hooman,et al.  Assertional Specification and Verification Using PVS of the Steam Boiler Control System , 1995, Formal Methods for Industrial Applications.

[26]  Natarajan Shankar,et al.  PVS: A Prototype Verification System , 1992, CADE.

[27]  Toby Walsh,et al.  Automated Deduction—CADE-11 , 1992, Lecture Notes in Computer Science.