Extending a database system with procedures
ACM Transactions on Database Systems (TODS)
Type inference for record concatenation and multiple inheritance
Information and Computation
Relations with relation names as arguments: algebra and calculus
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Type inference for records in natural extension of ML
Theoretical aspects of object-oriented programming
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Reflective programming in the relational algebra
Journal of Computer and System Sciences
Languages, automata, and logic
Handbook of formal languages, vol. 3
Understanding SQL's stored procedures: a complete guide to SQL/PSM
Understanding SQL's stored procedures: a complete guide to SQL/PSM
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Typed query languages for databases containing queries
Information Systems
MetaML and multi-stage programming with explicit annotations
Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
SchemaSQL: An extension to SQL for multidatabase interoperability
ACM Transactions on Database Systems (TODS)
Types and programming languages
Types and programming languages
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
A Foundation for Multi-dimensional Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
Typechecking XML views of relational databases
ACM Transactions on Computational Logic (TOCL)
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
A general framework for hindley/milner type systems with constraints
A general framework for hindley/milner type systems with constraints
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Kleisli, a functional query system
Journal of Functional Programming
Closed types for a safe imperative MetaML
Journal of Functional Programming
Applications for Expression Data in Relational Database Systems
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Frontiers of tractability for typechecking simple XML transformations
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of deciding typability in the relational algebra
Acta Informatica
The Lowell database research self-assessment
Communications of the ACM - Adaptive complex enterprises
Deciding well-definedness of XQuery fragments
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational languages for metadata integration
ACM Transactions on Database Systems (TODS)
On the complexity of typechecking top-down XML transformations
Theoretical Computer Science - Database theory
Towards practical meta-querying
Information Systems
On the complexity of nonrecursive XQuery and functional query languages on complex values
ACM Transactions on Database Systems (TODS)
Database Theory ICDT 2007: 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings (Lecture Notes in Computer Science)
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Complexity of typechecking XML views of relational databases
ICDT'07 Proceedings of the 11th international conference on Database Theory
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
A quantitative summary of XML structures
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
Querying web-based applications under models of uncertainty
Proceedings of the VLDB Endowment
Proceedings of the 13th International Conference on Database Theory
Polymorphic queries for P2P systems
Information Systems
Types and constraints: from relational to XML data
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Making standard ML a practical database programming language
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Type inference and type checking for queries over execution traces
The VLDB Journal — The International Journal on Very Large Data Bases
A formal model for databases in DNA
ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology
Proceedings of the 16th International Conference on Database Theory
Representing mapreduce optimisations in the nested relational calculus
BNCOD'13 Proceedings of the 29th British National conference on Big Data
| Hi-index | 0.00 |
Complex database queries, like programs in general, can "crash", i.e., can raise runtime errors. We want to avoid crashes without losing expressive power, or we want to correctly predict the absence of crashes. We show how concepts and techniques from programming language theory, notably type systems and reflection, can be adaptedto this end. Of course, the specific nature of database queries (asopposed to general programs), also requires some new methods, andraises new questions.