27,556 Hits in 8.8 sec

ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari
1989 International Conference on Advanced Information Systems Engineering  
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


Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
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

Henrieta Telepovska
2014 International journal for innovation education and research  
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]

Pieter Koopman, Vincent Zweije
1995 Lecture Notes in Computer Science  
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

Joseph (Yossi) Gil, Keren Lenz
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
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

Joseph (Yossi) Gil, Keren Lenz
2010 Science of Computer Programming  
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++

Joseph Gil, Keren Lenz
2007 Very Large Data Bases Conference  
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

Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler
1983 Very Large Data Bases Conference  
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

Lajos Nagy, Ryan Stansifer
2006 Proceedings of the 44th annual southeast regional conference on - ACM-SE 44  
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]

George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers
2011 Lecture Notes in Computer Science  
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

Marta Roginska, Piotr Wisniewski
2007 Annales UMCS Informatica  
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  
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

Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor
2002 Proceedings of the fourth international workshop on Web information and data management - WIDM '02  
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

Catriel Beeri
1991 IEEE Data Engineering Bulletin  
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]

H. -D. Ehrich, A. Sernadas, C. Sernadas
1988 Lecture Notes in Computer Science  
~ -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