Database Programming Languages: 12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings (Google eBook)
Philippa Gardner, Floris Geerts
Springer Science & Business Media, Aug 6, 2009 - Business & Economics - 101 pages
This volume contains the proceedings of the 12th International Symposium on Database Programming Languages (DBPL 2009), held in Lyon, France on - gust 24, 2009,and co-locatedwith VLDB (the International Conference on Very Large Data Bases). DBPL continues to present high-quality work at the intersection of database and programming language research. This proceedings volume contains the six papersacceptedforDBPL2009,whichwereselectedbytheProgramCommittee. Every submission was reviewed by at least three members of the committee. In addition, we sought the opinions of external referees, chosen because of their expertise in a particular topic. We would like to thank all the authorswho submitted papers to DBPL 2009. We also thank the members of the Program Committee for their excellent work during the electronic selection meeting. We are grateful to Andrei Voronkov for his EasyChair system, which made these discussions comparatively straightf- ward. WewouldliketothankMarceloArenasandMichaelI.Schwartzbachfortheir assistanceandsoundcouncilasProgramChairsofDBPL2007.We?nallythank Mohand-Said Hacid and Jean-Marc Petit for their superb local organization of DBPL 2009.
What people are saying - Write a review
We haven't found any reviews in the usual places.
An AutomataTheoretic Approach to Regular XPath
How to Write Great SQL in Your Own Language and Be Sure It Will Succeed
XML Security Views Revisited
2WATA 3SAT accessible algorithm annotation atomic updates automata-theoretic automaton binary tree Computer covering DTDs database DBPL DC-DTD define deﬁned Deﬁnition denoted diﬀerent disjunction-capsuled disjunction-free DTDs eﬀect equivalent evaluation example ExpTime ExpTime-complete ﬁlter expressions ﬁrst ﬂat follows function Heidelberg identiﬁers inclusion constraints inﬁnite input label Lemma LINQ LNCS node expressions normal form paper path pos(u probability distribution problem programming language Proposition query Q recursion regular expression regular expression types Regular XPath queries relational algebra rules RXPath root constraints satisﬁability satisfy schema alteration schema graph semantics SG mapping sibling axes sibling tree Speciﬁcally Springer SQL query static analysis statistical assertions statistical program subclass symbol T G TL(D techniques Theorem tractable translation tuple type names typechecking upward axes XML databases XML documents XML Schema XML update XPath expression XPath satisﬁability XQuery Update XQuery Update Facility XReg