The rationale behind DBPL

Abstract

The DBPL language orthogonally integrates sets and first-order Predicates into a strongly and statically typed Programming language, and the DBPL system supports the language with full Database functionality including Persistence, query optimization and transaction management. The application of modern language technology to Database concepts results in new insights into the relationship between types and schemas, expressions/iterators and queries, selectors and views, or functions and transactions. Furthermore, it allows the exploitation of type theory and formal semantics of Programming languages and thus connects Database application Development with results from Program specification and verification.