Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Interaction between path and type constraints
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
XML Declarative Description: A Language for the Semantic Web
IEEE Intelligent Systems
Transformation of Documents and Schemas by Patterns and Contextual Conditions
PODP '96 Proceedings of the Third International Workshop on Principles of Document Processing
A Data Model for XML Databases
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Using an automatic marking system for programming courses
Proceedings of the 34th annual ACM SIGUCCS fall conference: expanding the boundaries
Flexible hardware-software cooperation system with HwModule board and co-design framework by ET
ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
Extending the equivalent transformation framework to model dynamic interactive systems
WSEAS Transactions on Computers
IEICE - Transactions on Information and Systems
Program generation in the equivalent transformation computation model using the squeeze method
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Context-aware search inside e-learning materials using textbook ontologies
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
Enhancing comprehension of events in video through explanation-on-demand hypervideo
MMM'07 Proceedings of the 13th international conference on Multimedia Modeling - Volume Part I
Query decomposition using the XML declarative description language
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Representing and reasoning with application profiles based on OWL and OWL/XDD
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Towards a unified framework for context-preserving video retrieval and summarization
ICADL'05 Proceedings of the 8th international conference on Asian Digital Libraries: implementing strategies and sharing experiences
Hi-index | 0.00 |
In the proposed data model for XML databases, an XML element is directly represented as a ground (variable-free) XML expression--a generalization of an XML element by incorporation of variables for representation of implicit information and enhancement of its expressive power--while a collection of XML documents as a set of ground expressions, each describing an XML element in the documents. Axioms and relationships among elements in the collection as well as structural and integrity constraints are formalized as XML clauses. An XML database, consisting of: (i) a document collection (or an extensional database), (ii) a set of axioms and relationships (or an intensional database), (iii) a set of integrity constraints, is therefore modeled as an XML declarative description comprising a set of ground XML expressions and XML clauses. Its semantics is a set of ground XML expressions, which are explicitly described by the extensional database or implicitly derived from the database, based on the defined intensional database, and satisfy all the specified set of constraints. Thus, selective and complex queries, formulated as sets of XML clauses, about information satisfying specific criteria and possibly implicit in the database, become expressible and computable. The model thereby serves as an effective and well-founded XML database management framework with succinct representational and operational uniformity, reasoning capabilities as well as complex and deductive query supports.