logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Reasoning about keys for XML

delete2003-12-01
delete66
PRE
AI
P
Peter Buneman
S
Susan B. Davidson
W
Wenfei Fan
C
Carmem S. Hara
W
Wang-Chiew Tan
DOI：10.1016/S0306-4379(03)00028-0delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
We study absolute and relative keys for XML, and investigate their associated decision problems. We argue that these keys are important to many forms of hierarchically structured data including XML documents. In contrast to other proposals of keys for XML, we show that these keys are always (finitely) satisfiable, and their (finite) implication problem is finitely axiomatizable. Furthermore, we provide a polynomial time algorithm for determining (finite) implication in the size of keys. Our results also demonstrate, among other things, that the analysis of XML keys is far more intricate than its relational counterpart. (C) 2003 Elsevier Ltd. All rights reserved.
Keyword:
XML keys
axiomatization
logical implication
satisfiability
AI总结

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Enterprise Information Systems 封面图
Enterprise Information Systems
IF:
3.9
论文数:
2.8K
被引数:
1.8K

机构

暂无机构信息
引用论文

引用论文

GenBank
errNUCLEIC ACIDS RESEARCH
IF13.1
err2000-01-01
err950
errOAAI
errBenson, DA; Karsch-Mizrachi, I; Lipman, DJ; Ostell, J; Rapp, BA; Wheeler, DL
err分享
err收藏
The EMBL Nucleotide Sequence Database
errNUCLEIC ACIDS RESEARCH
IF13.1
err2000-01-01
err137
errOAAI
errBaker, W; van den Broek, A; Camon, E; Hingamp, P; Sterk, P; Stoesser, G; Tuli, MA
err分享
err收藏
The 1971 Elections and the Indian Party System1971年选举与印度政党体系
errAsian Survey
IF0
err1971-12-01
err0
PREAI
errMyron Weiner
err分享
err收藏
Bilingual Education in an Immigrant Community: Proposition 227 in California移民社区的双语教育：加州的227号提案
errInternational Journal of Bilingual Education and Bilingualism
IF0
err1999-07-01
err0
PREAI
errMarjorie Faulstich Orellana; Lucila Ek; Arcelia Hernandez
err分享
err收藏
Biomarker and stable carbon isotope analyses of sedimentary organic matter from Lake Tswaing: evidence for deglacial wetness and early Holocene drought from South Africa
errJournal of Paleolimnology
IF0
err2009-11-17
err0
PREAI
errI. Kristen; H. Wilkes; A. Vieth; K.-G. Zink; B. Plessen; J. Thorpe; T. C. Partridge; H. Oberhänsli
err分享
err收藏
REASONING ABOUT EQUATIONS AND FUNCTIONAL-DEPENDENCIES ON COMPLEX OBJECTS
errIEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
IF10.4
err1994-06-01
err11
PREAI
errVANBOMMEL, MF; WEDDELL, GE
err分享
err收藏
5 Color-Blind Racism: Toward an Analysis of White Racial Ideology5 颜色盲目的种族主义：走向对白人种族意识形态的分析
errWhite Supremacy and Racism in the Post-Civil Rights Era
IF0
err2001-08-01
err0
PREAI
err
err分享
err收藏
Primary Brainstem Hemorrhage: A Review of Prognostic Factors and Surgical Management
errFrontiers in Neurology
IF0
err2021-09-10
err0
errOAAI
errDanyang Chen; Yingxin Tang; Hao Nie; Ping Zhang; Wenzhi Wang; Qiang Dong; Guofeng Wu; Mengzhou Xue; Yuping Tang; Wenjie Liu; Chao Pan; Zhouping Tang
err分享
err收藏
Need for closure and cognitive structuring among younger and older adults寻求确定性的需要与认知结构化：在年轻成人和年长成人中
errPolish Psychological Bulletin
IF0
err2012-01-01
err0
errOAAI
errMałgorzata Kossowska; Katarzyna Jaśko; Yoram Bar-Tal
err分享
err收藏
Big Change Question重大变革问题
errJournal of Educational Change
IF0
err2006-03-01
err0
PREAI
errTondra L. Loder; James P. Spillane
err分享
err收藏
学者 查看更多内容