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影响因子(影响力)学科排名




书目名称Database Programming Languages网络公开度




书目名称Database Programming Languages网络公开度学科排名




书目名称Database Programming Languages被引频次




书目名称Database Programming Languages被引频次学科排名




书目名称Database Programming Languages年度引用




书目名称Database Programming Languages年度引用学科排名




书目名称Database Programming Languages读者反馈




书目名称Database Programming Languages读者反馈学科排名

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

遗产

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

事先无准备

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

事先无准备

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