Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | CONICET | - |
| dc.creator | Abriola, Sergio Alejandro | - |
| dc.creator | Descotte, María Emilia | - |
| dc.creator | Fervari, Raul Alberto | - |
| dc.creator | Figueira, Santiago | - |
| dc.date | 2018-12-03T18:40:24Z | - |
| dc.date | 2018-12-03T18:40:24Z | - |
| dc.date | 2017-11 | - |
| dc.date | 2018-10-22T16:49:27Z | - |
| dc.date.accessioned | 2019-04-29T15:44:18Z | - |
| dc.date.available | 2019-04-29T15:44:18Z | - |
| dc.date.issued | 2018-12-03T18:40:24Z | - |
| dc.date.issued | 2018-12-03T18:40:24Z | - |
| dc.date.issued | 2017-11 | - |
| dc.date.issued | 2018-10-22T16:49:27Z | - |
| dc.identifier | Abriola, Sergio Alejandro; Descotte, María Emilia; Fervari, Raul Alberto; Figueira, Santiago; Axiomatizations for downward XPath on data trees; Academic Press Inc Elsevier Science; Journal of Computer and System Sciences; 89; 11-2017; 209-245 | - |
| dc.identifier | 0022-0000 | - |
| dc.identifier | http://hdl.handle.net/11336/65632 | - |
| dc.identifier | CONICET Digital | - |
| dc.identifier | CONICET | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/300730 | - |
| dc.description | We give sound and complete axiomatizations for XPath with data tests by ‘equality’ or ‘inequality’, and containing the single ‘child’ axis. This data-aware logic predicts over data trees, which are tree-like structures whose every node contains a label from a finite alphabet and a data value from an infinite domain. The language allows us to compare data values of two nodes but cannot access the data values themselves (i.e. there is no comparison by constants). Our axioms are in the style of equational logic, extending the axiomatization of data-oblivious XPath, by B. ten Cate, T. Litak and M. Marx. We axiomatize the full logic with tests by ‘equality’ and ‘inequality’, and also a simpler fragment with ‘equality’ tests only. Our axiomatizations apply both to node expressions and path expressions. The proof of completeness relies on a novel normal form theorem for XPath with data tests. | - |
| dc.description | Fil: Abriola, Sergio Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina | - |
| dc.description | Fil: Descotte, María Emilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigaciones Matemáticas "Luis A. Santaló". Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigaciones Matemáticas "Luis A. Santaló"; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina | - |
| dc.description | Fil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina | - |
| dc.description | Fil: Figueira, Santiago. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Academic Press Inc Elsevier Science | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1016/j.jcss.2017.05.008 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0022000017300661 | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.source.uri | http://hdl.handle.net/11336/40890 | - |
| dc.subject | AXIOMATIZATION | - |
| dc.subject | DATA TREE | - |
| dc.subject | MODAL LOGIC | - |
| dc.subject | NORMAL FORM | - |
| dc.subject | QUERY LANGUAGE | - |
| dc.subject | XML | - |
| dc.subject | XPATH | - |
| dc.subject | Ciencias de la Computación | - |
| dc.subject | Ciencias de la Computación e Información | - |
| dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
| dc.title | Axiomatizations for downward XPath on data trees | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.