Incomplete Information in Relational Databases
Journal of the ACM (JACM)
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
An ideal model for recursive polymorphic types
Information and Control
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Proc. of the thirteenth spring school of the LITP on Combinators and functional programming languages
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Type inference in a database programming language
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
ML with extended pattern matching and subtypes
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Complete sets of transformations for general E-unification
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
The definition of Standard ML
Type inference for record concatenatiOn and multiple inheritance
Proceedings of the Fourth Annual Symposium on Logic in computer science
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
A simple semantics for ML polymorphism
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A record calculus based on symmetric concatenation
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphic type inference and assignment
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Dynamic typing in a statically typed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantics of types for database objects
Theoretical Computer Science
Logical and computational aspects of programming with sets/bags/lists
Proceedings of the 18th international colloquium on Automata, languages and programming
The expressiveness of a family of finite set languages
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Type systems for programming languages
Handbook of theoretical computer science (vol. B)
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Using powerdomains to generalize relational databases
Theoretical Computer Science
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
A type system that reconciles classes and extents
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
A compilation method for ML-style polymorphic record calculi
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typing record concatenation for free
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polymorphism by name for references and continuations
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGMOD Record
Type inference for records in natural extension of ML
Theoretical aspects of object-oriented programming
Static type inference for parametric classes
Theoretical aspects of object-oriented programming
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The C++ Programming Language
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Querying nested collections
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Semantics for communication primitives in a polymorphic language
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGMOD Record
A polymorphic calculus for views and object sharing (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An equational object-oriented data model and its data-parallel query language
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Type inference in the polymorphic relational algebra
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Dynamic typing for distributed programming in polymorphic languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-checking OQL queries in the ODMG type systems
ACM Transactions on Database Systems (TODS)
Domain specific embedded compilers
Proceedings of the 2nd conference on Domain-specific languages
On type systems for object-oriented database programming languages
ACM Computing Surveys (CSUR)
Research Frontiers in Object Technology
Information Systems Frontiers
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Inferring the Principal Type and the Schema Requirements of an OQL Query
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
On the Difference between Navigating Semi-structured Data and Querying It
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Modeling, querying and reasoning about OLAP databases: a functional approach
Proceedings of the 8th ACM international workshop on Data warehousing and OLAP
Typed functional query languages with equational specifications
Proceedings of the 14th ACM international conference on Information and knowledge management
Strong types for relational databases
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Proceedings of the 44th annual Southeast regional conference
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Domain specific embedded compilers
DSL'99 Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 2009 ACM symposium on Applied Computing
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs
Types and constraints: from relational to XML data
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Eliminating the XML overhead in embedded XML languages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
In order to find a static type system that adequately supports database languages, we need to express the most general type of a program that involves database operations. This can be achieved through an extension to the type system of ML that captures the polymorphic nation of field selection, together with a techniques that generalizes relational operators to arbitrary data structures. The combination provides a statically typed language in which generalized relational databases may be cleanly represented as typed structures. As in ML types are inferred, which relieves the programmer of making the type assertions that may be required in a complex database environment.These extensions may also be used to provide static polymorphic typechecking in object-oriented languages and databases. A problem that arises with object-oriented databases is the apparent need for dynamic typechecking when dealing queries on heterogeneous collections of objects. An extension of the type system needed for generalized relational operations can also be used for manipulating collections of dynamically typed values in a statically typed language. A prototype language based on these ideas has been implemented. While it lacks a proper treatment of persistent data, it demonstrates that a wide variety of database structures can be cleanly represented in a polymorphic programming language.