Search results for "DBPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Gavin M. Bierman, Christoph Koch 0001	Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005).	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF
74	Richard Hull 0001, Dean Jacobs	On the Semantics of Rules in Database Programming Languages.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
49	Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel	On the Derivation of Executable Database Programs from Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF
49	Serge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull 0001, Paris C. Kanellakis, Victor Vianu	New Hope on Data Models and Types: Report of an NSF-INRIA Workshop.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
49	Johann Eder, Andreas Rudloff, Florian Matthes, Joachim W. Schmidt	Data Construction with Recursive Set Expressions.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
47	Amir Shaikhha, Norman May (eds.)	DBPL '21: The 18th International Symposium on Database Programming Languages, Copenhagen, Denmark, 16 August 2021	DBPL	2021	DBLP DOI BibTeX RDF
47	Lionel Parreaux	Comprehending Monoids with Class.	DBPL	2021	DBLP DOI BibTeX RDF
47	James Cheney, Wilmer Ricciotti	Comprehending nulls.	DBPL	2021	DBLP DOI BibTeX RDF
47	Alvin Cheung	A PACTful Agenda for Cloud Programming Research: (Invited Talk).	DBPL	2021	DBLP DOI BibTeX RDF
47	Young-Koo Lee	Unified Optimization of Declarative and Imperative Code in Relational Databases: (Invited Talk).	DBPL	2021	DBLP DOI BibTeX RDF
47	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	Debugging of Wrong and Missing Answers in SPARQL✱.	DBPL	2021	DBLP DOI BibTeX RDF
47	Bhushan Pal Singh, Mudra Sahu, S. Sudarshan 0001	Optimizing Data Science Applications using Static Analysis.	DBPL	2021	DBLP DOI BibTeX RDF
47	Alvin Cheung, Kim Nguyen 0001 (eds.)	Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, Phoenix, AZ, USA, June 23, 2019.	DBPL	2019	DBLP DOI BibTeX RDF
47	Filip Murlak, Jan Posiadala, Pawel Susicki	On the semantics of Cypher's implicit group-by.	DBPL	2019	DBLP DOI BibTeX RDF
47	Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy	Fluid data structures.	DBPL	2019	DBLP DOI BibTeX RDF
47	Wilmer Ricciotti, James Cheney	Mixing set and bag semantics.	DBPL	2019	DBLP DOI BibTeX RDF
47	Mohammad Amin Farvardin, Dario Colazzo, Khalid Belhajjame, Carlo Sartiani	Streaming saturation for large RDF graphs with dynamic schema information.	DBPL	2019	DBLP DOI BibTeX RDF
47	Stefan Fehrenbach, James Cheney	Language-integrated provenance by trace analysis.	DBPL	2019	DBLP DOI BibTeX RDF
47	Nobutaka Suzuki, Takuya Okada, Yeondae Kwon	Detecting unsatisfiable CSS rules in the presence of DTDs.	DBPL	2019	DBLP DOI BibTeX RDF
47	Ruby Y. Tahboub, Xilun Wu, Grégory M. Essertel, Tiark Rompf	Towards compiling graph queries in relational engines.	DBPL	2019	DBLP DOI BibTeX RDF
47	Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte 0001, Seif Haridi	Arc: an IR for batch and stream programming.	DBPL	2019	DBLP DOI BibTeX RDF
47	Isil Dillig	Programming support for database schema refactoring (keynote).	DBPL	2019	DBLP DOI BibTeX RDF
47	Jeremy Gibbons	Comprehending Ringads (keynote).	DBPL	2019	DBLP DOI BibTeX RDF
47	Tiark Rompf, Alexander Alexandrov 0001 (eds.)	Proceedings of The 16th International Symposium on Database Programming Languages, DBPL 2017, Munich, Germany, September 1, 2017	DBPL	2017	DBLP DOI BibTeX RDF
47	Vera Zaychik Moffitt, Julia Stoyanovich	Temporal graph algebra.	DBPL	2017	DBLP DOI BibTeX RDF
47	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón	Property-based testing of SPARQL queries.	DBPL	2017	DBLP DOI BibTeX RDF
47	Torsten Grust	Take everything from me, but leave me the comprehension: invited talk.	DBPL	2017	DBLP DOI BibTeX RDF
47	Michael J. Mior	Locomotor: transparent migration of client-side database code.	DBPL	2017	DBLP DOI BibTeX RDF
47	Marcus Paradies, Cornelia Kinder, Jan Bross, Thomas Fischer 0017, Romans Kasperovics, Hinnerk Gildhoff	GraphScript: implementing complex graph algorithms in SAP HANA.	DBPL	2017	DBLP DOI BibTeX RDF
47	Matthias Brantner	Modern stored procedures using GraalVM: invited talk.	DBPL	2017	DBLP DOI BibTeX RDF
47	Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani	Counting types for massive JSON datasets.	DBPL	2017	DBLP DOI BibTeX RDF
47	Jelle Hellings, Catherine L. Pilachowski, Dirk Van Gucht, Marc Gyssens, Yuqing Wu	From relation algebra to semi-join algebra: an approach for graph query optimization.	DBPL	2017	DBLP DOI BibTeX RDF
47	José Nuno Oliveira, Hugo Daniel Macedo	The data cube as a typed linear algebra operator.	DBPL	2017	DBLP DOI BibTeX RDF
47	Parisa Ataei, Arash Termehchy, Eric Walkingshaw	Variational databases.	DBPL	2017	DBLP DOI BibTeX RDF
47	Johannes Luong, Dirk Habich, Wolfgang Lehner	AL: unified analytics in domain specific terms.	DBPL	2017	DBLP DOI BibTeX RDF
47	Hiroyuki Kato, Yasunori Ishihara, Torsten Grust	DDO-Free XQuery.	DBPL	2017	DBLP DOI BibTeX RDF
47	Stefan Bäuerle, Alexander Böhm 0002	Bridging the semantical gap between relational data and application-level business objects with core data services: invited talk.	DBPL	2017	DBLP DOI BibTeX RDF
47	Todd J. Green, Alan Schmitt (eds.)	Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy.	DBPL	2013	DBLP BibTeX RDF
47	Stefanie Scherzinger, Meike Klettke, Uta Störl	Managing Schema Evolution in NoSQL Data Stores.	DBPL	2013	DBLP BibTeX RDF
47	Yupeng Fu, Kian Win Ong, Yannis Papakonstantinou	Declarative Ajax Web Applications through SQL++ on a Unified Application State.	DBPL	2013	DBLP BibTeX RDF
47	James Cheney	Static Enforceability of XPath-Based Access Control Policies.	DBPL	2013	DBLP BibTeX RDF
47	Torsten Grust, Alexander Ulrich	First-Class Functions for First-Order Database Engines.	DBPL	2013	DBLP BibTeX RDF
47	Radu Ciucanu, Slawek Staworko	Learning Schemas for Unordered XML.	DBPL	2013	DBLP BibTeX RDF
47	Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shougo Shimizu, Toru Fujiwara	XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs.	DBPL	2013	DBLP BibTeX RDF
47	Nate Foster, Anastasios Kementsietsidis (eds.)	Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings	DBPL	2011	DBLP BibTeX RDF
47	Manizheh Montazerian, Peter T. Wood	Chasing One's Tail: XPath Containment Under Cyclic DTDs.	DBPL	2011	DBLP BibTeX RDF
47	George H. L. Fletcher, Jan Hidders, Stijn Vansummeren, Yongming Luo, François Picalausa, Paul De Bra	On guarded simulations and acyclic first-order languages.	DBPL	2011	DBLP BibTeX RDF
47	Demian Lessa, Bharat Jayaraman, Jan Chomicki	Temporal Data Model for Program Debugging.	DBPL	2011	DBLP BibTeX RDF
47	Kenji Hashimoto, Yohei Kusunoki, Yasunori Ishihara, Toru Fujiwara	Validity of Positive XPath Queries with Wildcard in the Presence of DTDs.	DBPL	2011	DBLP BibTeX RDF
47	Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda	PSPARQL Query Containment.	DBPL	2011	DBLP BibTeX RDF
47	William R. Cook, Ben Wiedermann	Remote Batch Invocation for SQL Databases.	DBPL	2011	DBLP BibTeX RDF
47	Dirk Habich, Matthias Böhm 0001, Maik Thiele, Benjamin Schlegel, Ulrike Fischer, Hannes Voigt, Wolfgang Lehner	Next Generation Database Programming and Execution Environment.	DBPL	2011	DBLP BibTeX RDF
47	James Cheney, Sam Lindley, Heiko Müller 0001	Using Links to prototype a Database Wiki.	DBPL	2011	DBLP BibTeX RDF
47	Philippa Gardner, Floris Geerts (eds.)	Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings	DBPL	2009	DBLP DOI BibTeX RDF
47	Benoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison	XML Security Views Revisited.	DBPL	2009	DBLP DOI BibTeX RDF
47	Ezra Cooper	The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed.	DBPL	2009	DBLP DOI BibTeX RDF
47	Michael Benedikt, James Cheney	Semantics, Types and Effects for XML Updates.	DBPL	2009	DBLP DOI BibTeX RDF
47	Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara	A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes.	DBPL	2009	DBLP DOI BibTeX RDF
47	Raghav Kaushik, Christopher Ré, Dan Suciu	General Database Statistics Using Entropy Maximization.	DBPL	2009	DBLP DOI BibTeX RDF
47	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	An Automata-Theoretic Approach to Regular XPath.	DBPL	2009	DBLP DOI BibTeX RDF
47	Marcelo Arenas, Michael I. Schwartzbach (eds.)	Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers	DBPL	2007	DBLP DOI BibTeX RDF
47	Alain Frisch, Haruo Hosoya	Towards Practical Typechecking for Macro Tree Transducers.	DBPL	2007	DBLP DOI BibTeX RDF
47	Daniel Deutch, Tova Milo	Querying Structural and Behavioral Properties of Business Processes.	DBPL	2007	DBLP DOI BibTeX RDF
47	Sara Cohen, Joseph Gil, Evelina Zarivach	Datalog Programs over Infinite Databases, Revisited.	DBPL	2007	DBLP DOI BibTeX RDF
47	Giorgio Ghelli, Dario Colazzo, Carlo Sartiani	Efficient Inclusion for a Class of XML Types with Interleaving and Counting.	DBPL	2007	DBLP DOI BibTeX RDF
47	Michaela Götz, Christoph Koch 0001, Wim Martens	Efficient Algorithms for the Tree Homeomorphism Problem.	DBPL	2007	DBLP DOI BibTeX RDF
47	Wenfei Fan	XML Publishing: Bridging Theory and Practice.	DBPL	2007	DBLP DOI BibTeX RDF
47	Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach	Analysis of Imperative XML Programs.	DBPL	2007	DBLP DOI BibTeX RDF
47	Loreto Bravo, James Cheney, Irini Fundulaki	Repairing Inconsistent XML Write-Access Control Policies.	DBPL	2007	DBLP DOI BibTeX RDF
47	Jef Wijsen	On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints.	DBPL	2007	DBLP DOI BibTeX RDF
47	George H. L. Fletcher, Dirk Van Gucht, Yuqing Wu, Marc Gyssens, Sofia Brenes, Jan Paredaens	A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents.	DBPL	2007	DBLP DOI BibTeX RDF
47	Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon	A Better Semantics for XQuery with Side-Effects.	DBPL	2007	DBLP DOI BibTeX RDF
47	Christopher Ré, Dan Suciu	Efficient Evaluation of.	DBPL	2007	DBLP DOI BibTeX RDF
47	Floris Geerts, Jan Van den Bussche	Relational Completeness of Query Languages for Annotated Databases.	DBPL	2007	DBLP DOI BibTeX RDF
47	James Cheney, Amal Ahmed 0001, Umut A. Acar	Provenance as Dependency Analysis.	DBPL	2007	DBLP DOI BibTeX RDF
47	Yuri Gurevich, Dirk Leinders, Jan Van den Bussche	A Theory of Stream Queries.	DBPL	2007	DBLP DOI BibTeX RDF
47	Wouter Gelade, Frank Neven	Succinctness of Pattern-Based Schema Languages for XML.	DBPL	2007	DBLP DOI BibTeX RDF
47	Henrik Björklund, Wim Martens, Thomas Schwentick	Conjunctive Query Containment over Trees.	DBPL	2007	DBLP DOI BibTeX RDF
47	Gavin M. Bierman, Christoph Koch 0001 (eds.)	Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers	DBPL	2005	DBLP DOI BibTeX RDF
47	Joachim Niehren, Laurent Planque, Jean-Marc Talbot, Sophie Tison	N-Ary Queries by Tree Automata.	DBPL	2005	DBLP DOI BibTeX RDF	XML, databases, information extraction, pattern, logic, types, automata
47	Wim Martens, Joachim Niehren	Minimizing Tree Automata for Unranked Trees.	DBPL	2005	DBLP DOI BibTeX RDF
47	Michael Benedikt, Irini Fundulaki	XML Subtree Queries: Specification and Composition.	DBPL	2005	DBLP DOI BibTeX RDF
47	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.	DBPL	2005	DBLP DOI BibTeX RDF
47	Giorgio Busatto, Markus Lohrey, Sebastian Maneth	Efficient Memory Representation of XML Documents.	DBPL	2005	DBLP DOI BibTeX RDF
47	Peter Thiemann 0001	A Type Safe DOM API.	DBPL	2005	DBLP DOI BibTeX RDF
47	Sergio Flesca, Filippo Furfaro, Francesco Parisi	Consistent Query Answers on Numerical Databases Under Aggregate Constraints.	DBPL	2005	DBLP DOI BibTeX RDF
47	Claus Brabrand, Anders Møller, Michael I. Schwartzbach	Dual Syntax for XML Languages.	DBPL	2005	DBLP DOI BibTeX RDF
47	Dario Colazzo, Carlo Sartiani	Mapping Maintenance in XML P2P Databases.	DBPL	2005	DBLP DOI BibTeX RDF
47	Benny Kimelfeld, Yehoshua Sagiv	Efficiently Enumerating Results of Keyword Search.	DBPL	2005	DBLP DOI BibTeX RDF
47	Jan Hidders, Stefania Marrara, Jan Paredaens, Roel Vercammen	On the Expressive Power of XQuery Fragments.	DBPL	2005	DBLP DOI BibTeX RDF
47	Floris Geerts, Wenfei Fan	Satisfiability of XPath Queries with Sibling Axes.	DBPL	2005	DBLP DOI BibTeX RDF
47	Giuseppe Castagna	Patterns and Types for Querying XML Documents.	DBPL	2005	DBLP DOI BibTeX RDF
47	Antonella Poggi, Serge Abiteboul	XML Data Integration with Identification.	DBPL	2005	DBLP DOI BibTeX RDF
47	Solmaz Kolahi	Dependency-Preserving Normalization of Relational and XML Data.	DBPL	2005	DBLP DOI BibTeX RDF
47	Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko	Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints.	DBPL	2005	DBLP DOI BibTeX RDF
47	J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt	Exploiting Schemas in Data Synchronization.	DBPL	2005	DBLP DOI BibTeX RDF
47	Michael Y. Levin, Benjamin C. Pierce	Type-Based Optimization for Regular Patterns.	DBPL	2005	DBLP DOI BibTeX RDF
47	Georg Lausen, Dan Suciu (eds.)	Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers	DBPL	2004	DBLP DOI BibTeX RDF
47	Xiaogang Li 0001, Gagan Agrawal	Using XQuery for Flat-File Based Scientific Datasets.	DBPL	2003	DBLP DOI BibTeX RDF
47	Georg Gottlob, Christoph Koch 0001	XPath Query Processing.	DBPL	2003	DBLP DOI BibTeX RDF