swMATH30996MaRDI QIDQ42710FDOQ42710
Author name not available (Why is that?)
Official website: http://infolab.stanford.edu/lore/
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
