A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications
1989
International Conference on Advanced Information Systems Engineering
Preserved Fulltext
This paper illustrates by means of examples the functionalities offered by ALGRES: An advanced relational programming environment for the formal specification and rapid prototyping of data-intensive applications ...
In [CERI86] is shown how to translate logic programs for deductive database systems into relational algebra. ...
DATALOG is a clause-based logic programming language developed in the database community, syntactically similar to Prolog, designed for retrieving information from a flat relational database system. ...
dblp:conf/caise/CacaceCCGLLTZ89
fatcat:cgrie6edlrcqfodw3fxtg464my
SeLINQ
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
We develop the formal results in the form of a security type system that includes a treatment of algebraic data types and pattern matching, and establish its soundness. ...
control for databases "for free", synergize it with information-flow control for applications and thus guarantee security across application-database boundaries. ...
Acknowledgments Thanks are due to Phil Wadler whose talk on language-integrated queries at Chalmers was an excellent inspiration for this work. ...
doi:10.1145/2628136.2628151
dblp:conf/icfp/SchoepeHS14
fatcat:lxkbj65kt5bfngul3z3p6th4n4
Support of Database Skills Testing
2014
International journal for innovation education and research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The paper deals with a database system (DBS) component which is used for support of database skills testing of students. ...
Testing is focused on Structured Query Language, especially statements of Data Manipulation Language, and relational algebra. ...
Integration and Cooperation DBS Component with Other Program Systems Information Technologies for Knowledge Transfer system (IT4KT) provides a platform for integration and cooperation of various program ...
doi:10.31686/ijier.vol2.iss5.186
fatcat:747oppvg6vcsjdtd6dpe3b4pza
Functional programming in a basic database course
[chapter]
1995
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We used a functional language for its high level of abstraction and the automatic memory management which make writing a simple database management system considerably easier. ...
This paper describes why and how a functional programming language was used in an introductory database course. ...
After writing a preliminary program in a functional language the students make four exercises related to databases: an ad-hoc database, an interpreter for relational algebra, an implementation of a sub-set ...
doi:10.1007/3-540-60675-0_47
fatcat:6r5aelpgajbc3jeoscwcal3nvy
Simple and safe SQL queries with c++ templates
2007
Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Interaction with such a database is often done by letting the program construct strings with valid SQL statements, which are then sent for execution to the database engine. ...
A library of templates and preprocessor directives effectively extends C++ with a little language representing an augmented relational algebra formalism. ...
ARARAT, the system presented here, employs C++ templates mechanism to address the common problem of integrating a database language into a programming language. ...
doi:10.1145/1289971.1289976
dblp:conf/gpce/GilL07
fatcat:ufmschmcxzb23erubeabe6ghwm
Simple and safe SQL queries with C++ templates
2010
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Interaction with such a database is often done by letting the program construct strings with valid SQL statements, which are then sent for execution to the database engine. ...
A library of templates and preprocessor directives effectively extends C++ with a little language representing an augmented relational algebra formalism. ...
ARARAT, the system presented here, employs C++ templates mechanism to address the common problem of integrating a database language into a programming language. ...
doi:10.1016/j.scico.2010.01.004
fatcat:hmttvcfsfvdmniv7pxkjxe4ogq
Eliminating Impedance Mismatch in C++
2007
Very Large Data Bases Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
specific machinery: ARARAT is a C++ template library whose objective is type safe generation of SQL statements for access relational database systems. ...
LINQ represents a set of language extensions relying on advanced (some say hard to understand) techniques drawn from functional languages such as type inference, λexpressions and most importantly, monads ...
The seam between the programming language and database language, that is the programmatic production of SQL commands, is a source for many potential problems. ...
dblp:conf/vldb/GilL07
fatcat:gomxo4nd5bbkzh7edfuuzlpsqy
A Modal System of Algebras for Database Specification and Query/Update Language Support
1983
Very Large Data Bases Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Rather than iormaliaing general properties or database systems and derining abstract languages ror databases, in this paper we provide a formal system for reasoning about spdric properties ...
We regard a database as a dynamic! object and use a system of modal logia similar to Hoare-style program logic ror its specification. ...
These general operators, first order logic and the modal system, are a fixed specifioation language for database applications. ...
dblp:conf/vldb/GolshaniMS83
fatcat:rrpnpc6vkvdc7a2p7avk2r62cm
Polymorphic type inference for the relational algebra in the functional database programming language neon
2006
Proceedings of the 44th annual southeast regional conference on - ACM-SE 44
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A database programming language is a programming language extended with database operations. ...
We present the functional database programming language Neon along with a polymorphic type inference algorithm that can infer a 'type formula', that is, a type together with type constraints, for any valid ...
The functional nature of relational algebra makes it appealing to attempt to define a functional database programming language that synthesizes functional programming and relational algebra. ...
doi:10.1145/1185448.1185596
dblp:conf/ACMse/NagyS06
fatcat:dvtv54exdzevvmg2j3nx6rxhmm
Haskell Boards the Ferry
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Relational database management systems can be used as a coprocessor for general-purpose programming languages, especially for those program fragments that carry out data-intensive and data-parallel computations ...
In this paper we present a Haskell library for databasesupported program execution. ...
We would also like to acknowledge Alexander Ulrich, Jan Rittinger and the anonymous reviewers for their helpful comments and feedback. ...
doi:10.1007/978-3-642-24276-2_1
fatcat:iakpaden2jccxf4n4dkedxtvou
PySBQL - Python-like query language constructed using stack base approach
2007
Annales UMCS Informatica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
As a query language it is similar to SBQL proposed by Subieta [1, 2] . The PySBQL language is implemented in Monad -Object Oriented Database Management System. ...
Contrary to the classical approach in query languages, semantics is defined using a common structure for programming languages -the Environment Stack (ENVS). ...
It is taken directly form the Python language.
Monad project Monad is an object oriented database management system based on the PySBQL language. Monad is a fully scalable programing platform. ...
dblp:journals/umcs/RoginskaW07
fatcat:3baphk3l7fbarc36xsmr2t2o7u
Page 1188 of Mathematical Reviews Vol. , Issue 97B
[page]
1997
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “This article introduces a temporal deductive database system featuring a logic programming language and an algebraic front-end. ...
The minimum model of a given Temporal Datalog program is regarded as the temporal database the program models intensionally. ...
Hybrid applications over XML
2002
Proceedings of the fourth international workshop on Web information and data management - WIDM '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We discuss the design of a quasi-statically typed language for XML in which data may be associated with different structures and different algebras in different scopes, whilst preserving identity. ...
For its original form of structural polymorphism, the language offers integrated support for the development of hybrid applications over XML, where data change form to reflect programming expectations ...
In fact, the view of XML as a universal format for the exchange of data suggests that large part of that data will originate in standard programming languages and database systems. ...
doi:10.1145/584933.584935
fatcat:fjq5sz3i2reifg3jjy5ol3zn7q
Theoretical Foundations for OODB's - a Personal Perspective
1991
IEEE Data Engineering Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
sible data type facility. Data types belong to the programming language domain. What can we Research partially supported by a grant from the USA-ISRAEL Binational Science Foundation. 8 borrow there? ...
The models are algebras. ...
Acknowledgements The work on the database programming language and the data model benefited from help and feed back from many of the AltaIr members. ...
dblp:journals/debu/Beeri91
fatcat:3iq2wecakzhd5oqmnvzbruhfpi
Abstract object types for databases
[chapter]
1988
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
~ -There is a need for exploring the theoretical and methodological foundations of database design and development with the intention to achieve provably correct systems and higher levels of reusability ...
In analogy to algebraic data type theory, we propose mathematical models for the basic notions of object, object type and abstract object type. ...
An algebraic semantics for this language is outlined. As a byproduct, the Kripke interpretation structure for the invisaged logic of object behaviour is established. ...
doi:10.1007/3-540-50345-5_10
fatcat:lz3i7wzojzbovcrx6wgcrsr5ri
« Previous
Showing results 1 — 15 out of 27,556 results