Theorem prover approach to semistructured data design

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.37, Iss.1, 2010-11, pp. : 1-60

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS

By Cadoli Marco Mancini Toni

Applied Artificial Intelligence, Vol. 21, Iss. 4-5, 2007-04 ,pp. : 383-404

Taylor & Francis Ltd

Access to resources Recommend Favorite

GRAMY: A Geometry Theorem Prover Capable of Construction

By Matsuda Noboru VanLehn Kurt

Journal of Automated Reasoning, Vol. 32, Iss. 1, 2004-01 ,pp. : 3-33

Springer Publishing Company

Access to resources Recommend Favorite

Ontology-Based Conceptual Design of ETL Processes for Both Structured and Semi-Structured Data

International Journal on Semantic Web and Information Systems (IJSWIS), Vol. 3, Iss. 4, 2007-10 ,pp. : 1-24

IGI Global_journal

Access to resources Recommend Favorite

A Framework for Management of Semistructured Probabilistic Data

By Zhao Wenzhong Dekhtyar Alex Goldsmith Judy

Journal of Intelligent Information Systems, Vol. 25, Iss. 3, 2005-11 ,pp. : 293-332

Springer Publishing Company

Access to resources Recommend Favorite

Modelling and Manipulating Multidimensional Data in Semistructured Databases

By Wong R.K.

World Wide Web, Vol. 4, Iss. 1-2, 2001-01 ,pp. : 79-99

Springer Publishing Company

Access to resources Recommend Favorite