Results 1  10
of
14
A GraphOriented Object Database Model
, 1990
"... A graphoriented object database model (GOOD) is introduced as a theoretical basis for database systems in which manipulation as well as conceptual representation of data is transparently graphbased. In the GOOD model, the scheme as well as the instance of an object database is represented by a gra ..."
Abstract

Cited by 104 (16 self)
 Add to MetaCart
A graphoriented object database model (GOOD) is introduced as a theoretical basis for database systems in which manipulation as well as conceptual representation of data is transparently graphbased. In the GOOD model, the scheme as well as the instance of an object database is represented by a graph, and the data manipulation is expressed by graph transformations. These graph transformations are described using five basic operations and a method construct, all with a natural semantics. The basic operations add and delete objects and edges in function of the matchings of a pattern. The expressiveness of the model in terms of objectoriented modeling and data manipulation power is investigated. Index terms: Database models, query languages, graph transformations, objectoriented databases, user interfaces. Preliminary versions of this paper were presented at the 9th ACM Symposium on Principles of Database Systems [16] and the 1990 ACM SIGMOD International Conference on Management of D...
Tables As a Paradigm for Querying and Restructuring
 In ACM, editor, Proceedings of ACM Symposium on Principles of Database Systems
, 1996
"... ) Marc Gyssens y University of Limburg Laks V.S. Lakshmanan z Concordia University Iyer N. Subramanian z Concordia University Abstract Tables are one of the most natural representations of reallife data. Previous tablebased data models (such as relational, nested relational, and complex obj ..."
Abstract

Cited by 39 (8 self)
 Add to MetaCart
) Marc Gyssens y University of Limburg Laks V.S. Lakshmanan z Concordia University Iyer N. Subramanian z Concordia University Abstract Tables are one of the most natural representations of reallife data. Previous tablebased data models (such as relational, nested relational, and complex objects models) capture only a limited variety of reallife tables. In this paper, we study the foundations of tabular representations of data. We propose the tabular database model for handling a broad class of natural data representations and develop tabular algebra as a language for querying and restructuring tabular data. We show that the tabular algebra is complete for a very general class of transformations and show that several languages designed for very different purposes can naturally be embedded into the tabular model. We also demonstrate the applicability of our model as a theoretical foundation for online analytical processing (OLAP), an emerging technology for complementing the r...
The Expressive Power of Stratified Logic Programs with Value Invention
 IN ICDT'95 (FIFTH INTERNATIONAL CONFERENCE ON DATA BASE THEORY), PRAGUE, LECTURE NOTES IN COMPUTER SCIENCE 893
, 1996
"... The expressive power of the family wILOG (:) of relational query languages is investigated. The languages are rule based, withvalue invention and stratified negation. The semantics for value invention is based on Skolem functor terms. Westudy a hierarchy of languages based on thenumber of strata ..."
Abstract

Cited by 15 (1 self)
 Add to MetaCart
The expressive power of the family wILOG (:) of relational query languages is investigated. The languages are rule based, withvalue invention and stratified negation. The semantics for value invention is based on Skolem functor terms. Westudy a hierarchy of languages based on thenumber of strata allowed in programs. We first show that, in presence of value invention, the class of stratified programs madeoftwo stratahas the whole expressive power of the family, thus expressing the computable queries. Wethen show that the language wILOG 6= of programs with non+ y and without negation expresses the monotone queries, and that the language wILOG 1 2 #: of semipositive programs expresses the semimonotone queries.
Databases as Diagram Algebras: Specifying Queries and Views Via the GraphBased Logic of Sketches
, 1996
"... The goal of the paper is to develop a graphical formalism for specifying queries and views within the sketch data model (SkeDM) introduced in [17]. Sketches are directed multigraphs in which some diagrams are labeled with special markers. These markers denote predicates and operations over diagrams ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
The goal of the paper is to develop a graphical formalism for specifying queries and views within the sketch data model (SkeDM) introduced in [17]. Sketches are directed multigraphs in which some diagrams are labeled with special markers. These markers denote predicates and operations over diagrams of sets and functions. Given a signature of operations (query language), any sketch (database schema) can be extended with derived items denoting data that can be retrieved from the database. Views to a schema S are then sketch morphisms v : SV ! S 0 from some sketch (view schema) SV into an augmentation of S with derived items, S 0 . In this way one obtains a unifying graphbased formal language for data and metadata definition and manipulation. In particular, a formalized specification framework for heterogeneous multibase systems can be built. The approach is described with a number of examples and then precisely formalized. The main technical contribution is the development of alge...
Typing GraphManipulation Operations
"... We present a graphbased data model called GDM where database instances and database schemas are described by certain types of labeled graphs called instance graphs and schema graphs. For this data model we introduce two graphmanipulation operations, an addition and a deletion, that are based on pa ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
We present a graphbased data model called GDM where database instances and database schemas are described by certain types of labeled graphs called instance graphs and schema graphs. For this data model we introduce two graphmanipulation operations, an addition and a deletion, that are based on pattern matching and can be represented in a graphical way. For these operations it is investigated if they can be typed such that it is guaranteed for welltyped operations that the result belongs to a certain database schema graph, and what the complexity of deciding this welltypedness is.
An ObjectOriented Pattern Matching Language
 JSSST, International Symposium on Object Technologies for Advanced Software
, 1993
"... A graphical model for describing schemes and instances of objectdatabases and a graphical data manipulation language based on pattern matching, called PaMaL, are introduced. The operations of PaMaL (addition and deletion of nodes and edges) use patterns to indicate the parts of the instance that a ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
A graphical model for describing schemes and instances of objectdatabases and a graphical data manipulation language based on pattern matching, called PaMaL, are introduced. The operations of PaMaL (addition and deletion of nodes and edges) use patterns to indicate the parts of the instance that are affected by the operation. We give the syntax and semantics of the operations and the programming constructs (loop, procedure and program) of PaMaL. We add a reduceoperation to work with a special group of instances, the reduced instances. 1 Introduction One of the first visual or graphical interfaces for databases was QBE [Zlo77]. It introduced a new way of userdatabase interaction, by providing the user some tools to interact directly with the database and its structure. Since then, the research of visual interfaces has evolved in two directions. One group develops specialized interfaces for geographical or pictorial information (some relevant information can be found in [vl, Coo93])...
GOAL, A Graphbased Object and Association Language
"... A graphbased model for describing schemes and instances of object databases together with a graphical data manipulation language based on pattern matching are introduced. The data model allows the explicit modeling of classes and relations which contain objects and associations, respectively. ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
A graphbased model for describing schemes and instances of object databases together with a graphical data manipulation language based on pattern matching are introduced. The data model allows the explicit modeling of classes and relations which contain objects and associations, respectively.
Databases and FiniteModel Theory
 IN DESCRIPTIVE COMPLEXITY AND FINITE MODELS
, 1997
"... Databases provide one of the main concrete scenarios for finitemodel theory within computer science. This paper presents an informal overview of database theory aimed at finitemodel theorists, emphasizing the specificity of the database area. It is argued that the area of databases is a rich sourc ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Databases provide one of the main concrete scenarios for finitemodel theory within computer science. This paper presents an informal overview of database theory aimed at finitemodel theorists, emphasizing the specificity of the database area. It is argued that the area of databases is a rich source of questions and vitality for finitemodel theory.
RuleBased Languages
 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
, 1997
"... The paper presents a survey of the main formal rulebased languages and semantics. Both procedural (fixpoint) and declarative (modeltheoretic) semantics are defined and discussed, including inflationary and noninflationary fixpoint semantics, and the semipositive, stratified and wellfounded sem ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The paper presents a survey of the main formal rulebased languages and semantics. Both procedural (fixpoint) and declarative (modeltheoretic) semantics are defined and discussed, including inflationary and noninflationary fixpoint semantics, and the semipositive, stratified and wellfounded semantics. The relative expressive power and complexity of the various languages are provided. Nondeterministic rulebased languages are also discussed, and it is shown how nondeterminism can circumvent some difficulties concerning the expressive power of the deterministic languages. Finally, languages with value invention (in the spirit of objectcreation in oodbs) are presented and issues of expressive power specific to such languages are discussed.
A Computational Model for Generic Graph Functions
, 1994
"... The generic graph machine, a Turing machinelike computation model for generic graph functions, is introduced. A configuration of this machine consists of a number of machine instances that each are in a state and point to two nodes of a graph. During the execution of a step, the machine instances p ..."
Abstract
 Add to MetaCart
The generic graph machine, a Turing machinelike computation model for generic graph functions, is introduced. A configuration of this machine consists of a number of machine instances that each are in a state and point to two nodes of a graph. During the execution of a step, the machine instances perform in parallel a local transformation on the graph and are each replaced by a number of other machine instances. It is proved that the generic graph machines express a large and natural class of generic graph functions. 1 Introduction If we represent a database as a (labeled) graph, database manipulations can be modeled as partial functions mapping graphs to graphs [3]. We call such functions graph functions. However, not all graph functions can be interpreted as data manipulations. Indeed, they should satisfy at least the following two requirements. First, the function should be computable in the classical sense, i.e., there must be a Turing machine which, when presented an encoding o...