Lore
From MaRDI portal
Cited in
(19)- Model checking hybrid logics (with an application to semistructured data)
- OrientX: An integrated, schema based native XML database system
- Querying incomplete information in semistructured data
- Clustering DTDs: An interactive two-level approach.
- Theorem prover approach to semistructured data design
- TIMBER
- XQuery
- TAX
- SAX
- XPath
- XPathLog
- APEX
- PRIX
- Quilt
- ViST
- XMark
- Medmaker
- Lorel
- Unauthorized inferences in semistructured databases
This page was built for software: Lore
