Path Predicate Calculus: Towards a Logic Formalism for Multimedia XML Query Languages.
Peiya LiuAmit ChakrabortyLiang H. HsuPublished in: Markup Lang. (2001)
Keyphrases
- predicate calculus
- formal model
- multimedia
- xml query languages
- path expressions
- xpath expressions
- predicate logic
- first order logic
- lambda calculus
- xml data
- xml documents
- semantic network
- semi structured data
- xml queries
- query language
- theorem proving
- theorem prover
- xml databases
- knowledge representation
- cost model
- xpath queries
- complex objects
- metadata
- incomplete information
- relational databases
- high level
- regular expressions
- inference rules
- query optimization
- multimedia databases
- data sources