| Authors |
|
| Publication date |
2008
|
| Book title |
LID 2008: Logic in Databases: Proceedings
|
| Event |
Logic in Databases (LID 2008), Rome, Italy
|
| Pages (from-to) |
1-22
|
| Organisations |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| Abstract |
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specically, we axiomatize downward single axis fragments of Core XPath (that is, Core XPath(↓) and Core XPath(↓+)) as well as the full Core XPath. We make use of techniques from modal logic.
|
| Document type |
Conference contribution
|
| Published at |
http://www.dcs.bbk.ac.uk/~tadeusz/papers/lid_final.pdf
|
|
Downloads
|
|
|
Permalink to this page
|
