Martin Erwig, Udo W. Lipeck  Home/Search
Context Related
Links: ACM DBLP | informatik.fernuni...lDBPL_DBPL91.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.fernuniha...abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is integrated into a functional data model, which is extended by arbitrary type hierarchies and complex objects. Thus we are able to provide the clarity of FP-like programs together with the full power of semantic data modelling. To give an impression of the special facilities for optimizing functional database... (Update)
Context of citations to this paper: More
.... as queries, usually with the implied restriction that they will evaluate to the empty set if the database integrity is not violated [11, 26]. However, having to check the entire database for validity is not an efficient way to check integrity, especially if the query has to...
.... take the adjacency structure of the map into account, we can use the well known aggregations of sets (Breazu Tannen et al. 1991; Erwig et al. 1991; Breazu Tannen et al. 1992; Fegaras et al. 1995) agg( f ; u;S) to denote the aggregation of a finite, non empty set by a binary...
Cited by: More
Building Query Optimizers with Combinators: Dissertation Proposal - Cherniack (Correct)
Formalization of Advanced Map Operations - Erwig, Schneider (2000) (Correct)
Algebraic Query Optimisation for Database Programming Languages - Poulovassilis, Small (1996) (Correct)
Active bibliography (related documents): More All
0.5: Numerical Representations as Purely Functional Data Structures - Ivanovic, Kuncak (2000) (Correct)
0.4: Realizing State-Based Database Concepts in a Non-Strict.. - Ichikawa (1998) (Correct)
0.3: The FL Project: The Design of a Functional Language - Aiken, Williams, Wimmers (Correct)
Similar documents based on text: More All
0.2: Query-By-Trace: Visual Predicate Specification In.. - Erwig, Schneider (2000) (Correct)
0.2: Diets for Fat Sets - Erwig (1993) (Correct)
0.2: A Diagnostic Approach to Repairing Constraint Violations in.. - Gertz, Lipeck (1995) (Correct)
Related documents from co-citation: More All
7: Algebraic optimization of object oriented query languages (context) - Beeri, Kornatzky - 1990
7: Structural Recursion as a Query Language - Breazu-Tannen, Buneman et al. - 1991
4: Optimising and executing DAPLEX queries using Prolog (context) - NW, PMD - 1990
BibTeX entry: (Update)
M. Erwig and U. W. Lipeck. A functional DBPL revealing high level optimizations. In P. Kanellakis and J. W. Schmidt, editors, Bulk Types & Persistent Data: The Third International Workshop on Database ProgrammingLanguages, pages 306--, Nafplion, Greece, August 1991. Morgan Kaufmann Publishers, Inc. http://citeseer.ist.psu.edu/erwig91functional.html More
@inproceedings{ martin91functional,
author = "Erwig, Martin and Lipeck, Udo W.",
title = "{A} {F}unctional {DBPL} {R}evealing {H}igh {L}evel {O}ptimizations",
booktitle = "Database Programming Languages: The Third International Workshop",
publisher = "Morgan Kaufmann Publishers",
address = "San Mateo, CA",
editor = "Kanellakis, Paris and Schmidt, Joachim",
year = "1991",
url = "citeseer.ist.psu.edu/erwig91functional.html" }
Citations (may not include all citations):273 Can Programming be Liberated from the von Neumann Style (context) - BACKUS - 1978
177 The Functional Data Model and the Data Language DAPLEX (context) - SHIPMAN - 1981 ACM DBLP
164 IFo: A Formal Semantic Database Model (context) - ABITEBOUL, HULL - 1987 ACM DBLP
127 Query Optimization in Database Systems (context) - JARKE, KOCH - 1984 ACM DBLP
121 Types and Persistence in Database Programming Languages (context) - ATKINSON, BUNEMAN - 1987 ACM DBLP
76 Principles of Database and Knowledge-Base Systems Vol (context) - ULLMAN - 1989
73 Semantic Database Modelling: Survey (context) - HULL, KING - 1987
70 Algebraic Optimization of Object-Oriented Query Languages (context) - BEERI, KORNATZKY - 1990 ACM DBLP
24 FQL - A Functional Query Language (context) - BUNEMAN, FRANKEL - 1979 DBLP
23 An Implementation Technique for Database Query Languages (context) - BUNEMAN, FRANKEL et al. - 1982
23 Semantics of Types for Database Objects (context) - OHORI - 1990 ACM DBLP
20 the Development of Data Models (context) - BRODIE - 1984
9 Progress with Persistent Programming (context) - ATKINSON, BAILEY et al. - 1984
9 Storage and Access Structures to Support a Semantic Data Mod.. (context) - CHAN, DANBERG et al. - 1982
6 From Function Level Semantics to Program Transformation and .. (context) - BACKUS - 1985 ACM DBLP
5 Denotational Semantics and Rewrite Rules for FP (context) - HALPERN, WILLIAMS et al. - 1985 ACM DBLP
5 Extending the Functional Data Model to Computational Complet.. (context) - POULOVASSILIS, KING - 1990 ACM DBLP
4 Three-Level-Specification of Databases using an Extended Ent.. (context) - HOHENSTEIN, NEUGEBAUER et al. - 1987 ACM DBLP
4 Functional Databases (context) - NIKHIL - 1988
4 ACM Transactions on Programming Languages and Systems Vol (context) - WILLIAMS - 1982
2 Referentially Transparent Database Languages (context) - TRINDER - 1989 ACM DBLP
1 IEEE 6th Int (context) - SIEG, JR - 1990
1 Why Functional Programming (context) - SADLER - 1987
1 on Functional Programming and Computer Architecture (context) - KIEBURTZ, SHULTIS - 1981
1 Semantic Concepts and Prototype Implementation of a Function.. (context) - ERWIG - 1989
1 Foundations of Software Technology and Theoretical Computer .. (context) - SRINIVAS, SANGAL - 1986 ACM
1 Higher Order Programming in Extended FP (context) - BELLOT - 1985
1 ACM Transactions on Database Systems Vol (context) - ALBANO, CARDELLI et al. - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.fernuni-hagen.de/import/pi4/erwig/papers/abstracts.html): More
Spatio-Temporal Data Types: An Approach to.. - Erwig, Güting.. (1999) (Correct)
The Honeycomb Model of Spatio-Temporal Partitions - Erwig, Schneider (1999) (Correct)
Developments in Spatio-Temporal Query Languages - Erwig, Schneider (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC