Titlebook: Database Programming Languages; 9th International Wo Georg Lausen,Dan Suciu Conference proceedings 2004 Springer-Verlag Berlin Heidelberg 2

注射

書目名稱Database Programming Languages影響因子(影響力)




書目名稱Database Programming Languages影響因子(影響力)學(xué)科排名




書目名稱Database Programming Languages網(wǎng)絡(luò)公開度




書目名稱Database Programming Languages網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Database Programming Languages被引頻次




書目名稱Database Programming Languages被引頻次學(xué)科排名




書目名稱Database Programming Languages年度引用




書目名稱Database Programming Languages年度引用學(xué)科排名




書目名稱Database Programming Languages讀者反饋




書目名稱Database Programming Languages讀者反饋學(xué)科排名

flourish

XPath Query ProcessingXSLT and XQuery. Implementations of XPath need to scale well . with respect to the size of the XML data and the growing size and intricacy of the queries (i.e., .). Unfortunately, current XPath engines use query evaluation techniques that require time . in the size of queries in the worst case [1]..

objection

遺產(chǎn)

Containment of Relational Queries with Annotation Propagationuery is . in another if the annotated output of the former is contained in the latter on every possible annotated input databases. We study the relationship between query containment and annotation-containment and show that annotation-containment is a more refined notion in general. As a consequence

Respond

事先無(wú)準(zhǔn)備

Consistency of Java Transactionsy are proved. An implementation technique for incorporating constraints into the existing Java technology is developed, and a sophisticated theorem prover technology is integrated into this environment capable of enforcing behavioral compatibility and verifying transaction safety. The model of Java

事先無(wú)準(zhǔn)備

SYN

CRUMB

并入

Semantics of Objectified XML Constraintss integrated paradigm is based on Featherweight Java and XML is represented by regular expression types. The main contributions are in extending both with general logic-based constraints and establishing results on schema and database evolution by inheritance that respects database integrity require