Types and persistence in database programming languages
MP Atkinson, OP Buneman - ACM Computing Surveys (CSUR), 1987 - dl.acm.org
Traditionally, the interface between a programming language and a database has either
been through a set of relatively low-level subroutine calls, or it has required some form of …
been through a set of relatively low-level subroutine calls, or it has required some form of …
[BOOK][B] Categories, Types and Structures.
A Asperti, G Longo - 1991 - ens.hal.science
Categories, Types and Structures. Page 1 HAL Id: hal-03316030 https://ens.hal.science/hal-03316030
Submitted on 10 Aug 2021 HAL is a multi-disciplinary open access archive for the deposit and …
Submitted on 10 Aug 2021 HAL is a multi-disciplinary open access archive for the deposit and …
Logical approaches to incomplete information: A survey
R van der Meyden - Logics for databases and information systems, 1998 - Springer
The observation that it is frequently impossible to obtain complete information in the context
of database applications has motivated a substantial literature seeking to extend the …
of database applications has motivated a substantial literature seeking to extend the …
An object-oriented data model formalised through hypergraphs
We introduce the data model GROOVY (Graphically-Represented Object-Oriented data
model with Values) whose graphical representation provides a simple unifying formalism for …
model with Values) whose graphical representation provides a simple unifying formalism for …
Using powerdomains to generalize relational databases
Much of relational algebra and the underlying principles of relational database design have
a simple representation in the theory of domains that is traditionally used in the denotational …
a simple representation in the theory of domains that is traditionally used in the denotational …
A semantic basis for Quest
L Cardelli, G Longo - Proceedings of the 1990 ACM Conference on LISP …, 1990 - dl.acm.org
Type theory provides a general framework for studying many advanced programming
features including polymorphism, abstract types, modules, and inheritance.(See Kardelli …
features including polymorphism, abstract types, modules, and inheritance.(See Kardelli …
[BOOK][B] Logics for databases and information systems
J Chomicki, G Saake - 2012 - books.google.com
Time is ubiquitous in information systems. Almost every enterprise faces the problem of its
data becoming out of date. However, such data is often valu able, so it should be archived …
data becoming out of date. However, such data is often valu able, so it should be archived …
Types for data-oriented languages
L Cardelli - International Conference on Extending Database …, 1988 - Springer
Types for data-oriented languages Page 1 Types for Data-Oriented Languages (Overview)
Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Avenue …
Luca Cardelli Digital Equipment Corporation, Systems Research Center 130 Lytton Avenue …
[BOOK][B] Aspects of partial information in databases
L Libkin - 1994 - search.proquest.com
Abstract Information stored in databases is usually incomplete. Typical sources of partiality
are missing information, conflicts that occur when databases are merged, and asking …
are missing information, conflicts that occur when databases are merged, and asking …
A generic model for 3-dimensional conceptual modelling
PN Creasy, HA Proper - Data & Knowledge Engineering, 1996 - Elsevier
This article discusses two highly intertwined issues. Firstly, we discuss the lack of top-down
abstraction mechanisms in data modelling techniques; ie abstraction techniques that are …
abstraction mechanisms in data modelling techniques; ie abstraction techniques that are …