Reasoning about XML constraints based on XML-to-relational mappings
From MaRDI portal
Publication:2322698
Recommendations
Cites work
- scientific article; zbMATH DE number 2086270 (Why is no real title available?)
- scientific article; zbMATH DE number 1048047 (Why is no real title available?)
- scientific article; zbMATH DE number 2213336 (Why is no real title available?)
- scientific article; zbMATH DE number 2241913 (Why is no real title available?)
- Containment and equivalence for a fragment of XPath
- Functional dependencies and constraints on null values in database relations
- Generalized finite automata theory with an application to a decision problem of second-order logic
- On the Complexity of Verifying Consistency of XML Specifications
- Relational and XML Data Exchange
- Solving the implication problem for XML functional dependencies with properties
- Tree acceptors and some of their applications
Cited in
(9)- scientific article; zbMATH DE number 2030565 (Why is no real title available?)
- Implication and axiomatization of functional and constant constraints
- Reasoning about XML update constraints
- Satisfiability of Constraint Specifications on XML Documents
- Propagating XML constraints to relations
- Solving the implication problem for XML functional dependencies with properties
- On XML integrity constraints in the presence of DTDs
- Testing XML constraint satisfiability
- Validating streaming JSON documents with learned VPAs
This page was built for publication: Reasoning about XML constraints based on XML-to-relational mappings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2322698)
