Implementing Advanced RBAC Administration Functionality with USE * (2009)
Tanveer Mustafa, Karsten Sohr, Duc-hanh Dang, Michael Drouineaud, Stefan Kowski, Jordi Cabot, ...
8 th International Workshop on
Analyzing and Managing Role-Based Access Control Policies (2008)
Karsten Sohr, Michael Drouineaud, Gail-joon Ahn, Martin Gogolla
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to various domains such...
Fabian Büttner, Martin Gogolla
Abstract. This paper studies two model transformations. The first transformation starts from a graphically described UML operation and achieves a representation of the operation in terms of...
Abstract. We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata,...
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns (2008)
Ocl For (meta-)models, Juan Martin Chiaradía, Claudia Pons, Dan Chiorean, Birgit Demuth, Martin Gogolla, ...
Abstract. OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important for OCL to have a solid formal...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (2008)
Fabian Büttner, Martin Gogolla
Abstract. This paper studies two realizations of graph transformations which are based on a UML class diagram. The first realization achieves a representation in terms of descriptive pre- and...
Franck Barbier, Brian Henderson-sellers, Andreas L. Opdahl, Martin Gogolla
Abstract. This study of the semantics of the Whole-Part relationship in OO modeling is based upon, extends and, specifically, formalizes earlier analyses of the semantics of UML’s Aggregation and...
USE: A UML-Based Specification Environment for Validating UML and OCL (2008)
Martin Gogolla, Fabian Büttner, Mark Richters
The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early...
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations (2008)
Paul Ziemann, Karsten Hölscher, Martin Gogolla
Abstract. In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams...
Oliver Radfelder, Martin Gogolla
�ÒÓÒ�×�Ò�Ð�Ú��Û�ÝØ��×Û��Ò×�ÓÛ����Ú�ÓÖ�ÒØ� �...
Modeling and Validating Mondex Scenarios Described in UML and OCL with USE (2008)
Mirco Kuhlmann, Martin Gogolla
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pre- and...
Model Development in the UML-based Specification Environment (USE) (2008)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them to employ...
Tool support for OCL and related formalisms - needs and trends (2008)
Thomas Baar, Dan Chiorean, Re Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, ...
Abstract. The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the development...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
On Horizontal and Vertical Relationships between Models (2008)
Detecting, modeling and managing relationships between models are central tasks within model-driven engineering. By taking a simple view on software development, we distinguish in a vertical...
!!UML??2000 Workshop Dynamic Behaviour in UML Models, (2007)
Martin Gogolla, Oliver Radfelder, Ralf Kollmann, Mark Richters, B. Rumpe, B. Selic, ...
Abstract. This paper analyses atomic notions in UML which are fundamental for the understanding of dynamic aspects. The notions considered
Bernd Meyer, Gerd Westerman Martin, Martin Gogolla
The system Queer is a prototype of an information system design tool which directly supports an extended Entity-Relationship model on its front-end and uses a semantically well-founded query and...
Using the UML Specication Environment USE (2007)
The Object Constraint Language OCL is part of the Unied Modeling Language UML. OCL allows to describe system structure by invariants and system behavior by pre- and postconditions. This paper...
Metamodel Transformation of Data Models Position Paper (2007)
Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann
This paper studies syntax and semantics of the Entity-Relationship (ER) and Relational data model and their transformation. The ER model may be regarded as a platform independent model and the...
Paolo Bottoni, Mark Minas (eds, Electronic Notes, Martin Gogolla, Paul Ziemann, Sabine Kuske
Recently, we proposed an integrated formal semantics based on graph transformation for central aspects of UML class, object and state diagrams. In this paper, we explain the basic ideas of that...
Using OCL for Dening Precise, Domain-Specic UML Stereotypes (2007)
Abstract: This paper studies the extension mechanisms of the Unied Modeling Language UML. It introduces a new appproach for dening UML stereotypes and shows its usefulness by considering domain-speci...
Metamodel Transformation of Data Models Position Paper (2007)
Martin Gogolla, Arne Lindow, Mark Richters, Paul Ziemann
This paper studies syntax and semantics of the Entity-Relationship (ER) and Relational data model and their transformation. The ER model may be regarded as a platform independent model and the...
OCL for (Meta-)Models in Multiple Application Domains (2007)
Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer
MoDELS/UML Conference in Genova, Italy. It continues the series of five OCL (Object Constraint Language) workshops held at previous UML/MoDELS conferences between 2000- 2005. Similar to its...
Model Development in the UML-based Specification Environment (USE) (2007)
The tool USE (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven...
Tales of ER and RE Syntax and Semantics (2006)
This paper explains how four model transformations between database models work: (1) An ER (Entity-Relationship) database schema is transformed into a collection of ER database states, (2) a RE...
Tales of ER and RE Syntax and Semantics (2006)
This paper explains how four model transformations between database models work: (1) An ER (Entity-Relationship) database schema is transformed into a collection of ER database states, (2) a RE...
Daniel Jackson and Pamela Zave, Editors ISBN 1-59593-584-3 Programme Chairs (2006)
Daniel Jackson, Pamela Zave, Pamela Zave, T Laboratories, Martin Gogolla, Shriram Krishnamurthi, ...
Alloy is one of several emerging ‘lightweight formal methods ’ that use simple first-order logics for expressing designs and properties, coupled with constraint solving technology for automatic...
Tales of ER and RE Syntax and Semantics (2006)
This paper explains how four model transformations between database models work: (1) An ER (Entity-Relationship) database schema is transformed into a collection of ER database states, (2) a RE...
OCL and Model Driven Engineering (2005)
Bézivin, Jean, Baar, Thomas, Gardner, Tracy, Gogolla, Martin, Hähnle, Reiner, Hussmann, Heinrich, ...
Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be...
On squeezing M0, M1, M2, and M3 into a single object diagram (2005)
Martin Gogolla, Jean-marie Favre, Fabian Büttner
Abstract. We propose an approach for the integrated description of a metamodel and its formal relationship to its models and the model instantiations. The central idea is to use so-called layered...
Validating UML and OCL models in USE by automatic snapshot generation (2005)
Martin Gogolla, Jörn Bohling, Mark Richters
Abstract. We study the testing and certification of UML and OCL models as supported by the validation tool USE. We extend the available USE features by introducing a language for defining properties...
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata, entities, and...
Specification and validation of authorisation constraints using UML and OCL (2005)
Karsten Sohr, Gail-joon Ahn, Martin Gogolla, Lars Migge
Abstract. Authorisation constraints can help the policy architect design and express higher-level security policies for organisations such as financial institutes or governmental agencies. Although...
Benefits and Problems of Formal Methods (2004)
Formal methods for software development have been discussed for decades. This paper will try to explain when and under what circumstances formal methods and languages in general and the Object...
Realizing UML Metamodel Transformations with AGG (2004)
Fabian Büttner, Martin Gogolla
In this paper, we work out equivalence transformations on the UML metamodel as concrete graph transformations implemented in the AGG tool. We consider two examples for manipulating the static...
On Generalization and Overriding in UML 2.0 (2004)
Fabian Büttner, Martin Gogolla
Abstract. In the upcoming Unified Modeling Language specification (UML 2.0), subclassing (i.e., generalization between classes) has a much more precise meaning with respect to overriding than it had...
Digging into the Visitor Pattern (2004)
Fabian Büttner, Oliver Radfelder, Arne Lindow, Martin Gogolla
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates covariant overriding of...
Digging into the Visitor Pattern (2004)
Fabian Buttner Oliver, Oliver Radfelder, Arne Lindow, Martin Gogolla
existing software in a nonintrusive way, and which simulates covariant overriding of visit methods. It allows to express polymorphic operations through visitor classes in a more natural way than the...
On Generalization and Overriding in UML 2.0 (2004)
Fabian Büttner, Martin Gogolla
Abstract. In the upcoming Unified Modeling Language specification (UML 2.0), subclassing (i.e., generalization between classes) has a much more precise meaning with respect to overriding than it had...
An OCL Extension for Formulating Temporal Constraints (2003)
Abstract. UML class diagrams are widely used to model the static structure of object-oriented software systems. The textual language OCL, which is part of the UML, is used for formulating constraints...
Transforming data models with UML (2003)
This chapter studies an approach to establish a formal connection between data models, in particular between conceptual data models and implementation data models. We use metamodeling techniques...
OCL Extended with Temporal Logic (2003)
Abstract. UML class diagrams have become a standard for modeling the static structure of object-oriented software systems. OCL can be used for formulating additional constraints that can not be...
Aspect-Oriented Monitoring of UML and OCL Constraints (2003)
We present an approach utilizing aspect-oriented programming (AOP) techniques for mapping between di#erent abstraction levels of software. The goal is to facilitate validation and testing of a...
Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation (2003)
This paper studies tool support for the testing and certi cation of UML and OCL models as supported by the validation tool USE. We describe the features available in the UML/OCL tool USE and extend...
Validation of UML and OCL Models by Automatic Snapshot Generation (2003)
Martin Gogolla, Jörn Bohling, Mark Richters
We study the testing and certi cation of UML and OCL models as supported by the validation tool USE. We extend the available USE features by introducing a language for de ning properties of desired...
Sabine Kuske, Martin Gogolla, Ralf Kollmann
Abstract. This paper studies the semantics of a central part of the Uni ed Modeling Language UML. It discusses UML class, object and state diagrams and presents a new integrated semantics for both on...
Metric-Based Selective Representation of UML Diagrams (2002)
UML diagrams are widely employed for modeling of object-oriented software systems. In addition to their application in forward engineering, it is also possible to use them for the redocumentation of...
Analysis of UML Stereotypes within the UML Metamodel (2002)
Martin Gogolla, Brian Henderson-sellers
Abstract. Stereotypes are a powerful and potentially expressive extension mechanism in the Unied Modeling Language (UML). However, it seems that stereotypes are dicult to handle because using...
An Extension of OCL with Temporal Logic (2002)
Abstract. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL becomes more and more popular for formulating constraints that can...
A Semantics for OCL pre and post conditions (2000)
Abstract. A formal semantics for the Object Constraint Language OCL being part of the Unied Modeling Language UML is described. We briey summarize the semantics of plain OCL expressions which was...
Graph Transformations on the UML Metamodel (2000)
The Unified Modeling Language UML is a rich language so that it seems not feasible to give a single semantics for the complete language in one step. In order to de ne the semantics, we propose to...
Validating UML Models and OCL Constraints (2000)
. The UML has been widely accepted as a standard for modeling software systems and is supported by a great number of CASE tools. However, UML tools often provide only little support for validating...
Re-Documentation of Java with UML Class Diagrams (2000)
Abstract This paper describes the generation of class diagrams characterizing the static data and class structure of Java source code. To achieve such a diagrammatic representation, translation rules...
Towards three-dimensional representation and animation of uml diagrams (1999)
Martin Gogolla, Oliver Radfelder, Mark Richters
The UML notation is intended to be drawn on two-dimensional surfaces. However, three-dimensional diagram layout and animation may improve comprehension of complex diagrams significantly. The paper...
A UML Semantics FAQ: The View from Bremen (1999)
Martin Gogolla, Oliver Radfelder, Mark Richters
This note spells out questions the authors found while studying the material defining the Unified Modeling Language UML. After formulating a preliminary question in Sec. 1, some detailed questions...
Identifying Objects by Declarative Queries (1999)
Object identification in data models, especially in semantic, EntityRelationship, and Object-Oriented data models is studied. Various known approaches to object identification are shown, and an...
Stepwise Re-Engineering and Development of Object-Oriented Database Schemata (1998)
Martin Gogolla, Anne Kathrin Huge, Bodo Randt
We present a general approach for re-engineering of object-oriented database schemata. The approach consists of four dependent steps: (1) description of the data within the underlying basic data...
State Diagrams in UML: A Formal Semantics using Graph Transformations (1998)
Or Diagrams Are, Martin Gogolla, Francesco Parisi Presicce
We show how to transform UML (Unified Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams...
On Combining Semi-Formal and Formal Object Specification Techniques (1998)
. In the early phases of software development it seems profitable to freely mix semi-formal and formal design techniques. Formal techniques have their strength in their ability to rigorously define...
Equivalence Rules for UML Class Diagrams (1998)
UML is a complex language with many modeling features. Especially the modeling of static structures with class diagrams is supported by a rich set of description primitives. We show how to transfrom...
On Formalizing the UML Object Constraint Language OCL (1998)
We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) -- an emerging standard language and notation for object-oriented analysis...
Martin Gogolla, Francesco Parisi Presicce
We show how to transform UML (Unified Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams...
Martin Gogolla, Francesco Parisi Presicce
We show how to transform UML (Unified Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams...
Colimit Library for Graph Transformations and Algebraic Development Techniques (1998)
Dietmar Wolz, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla
ions are defined both for objects and layers. There are several compatibility requirements for the definition of these functions. The set of objects contains a specific ?-element which allows the...
By examples we give a short introduction into the nine diagram forms provided by the Unified Modeling Language (UML). The running example we use is a small traffic light system which we first...
Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, ...
Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 4.5.4 Special Approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 4.6 Semantics of...
On Behavioral Model Quality and Transformation (1997)
This statement reflects experience of our group in conceptual modelling with EntityRelationship and object-oriented approaches. It describes a general view on structural and behavioral aspects of...
A Web-based Animator for Validating Object Specifications (1997)
One of the central tasks in developing information systems is the specification of desired system properties. We use the object specification language TROLL light to formalize the conceptual model of...
A Web-based Animator for Object Specifications in a Persistent Environment (1997)
. We present an animation tool for the formal specification language TROLL light. The system allows the manipulation and querying of objects and navigation through object hierarchies. A Web-based...
Ingo Claßen, Martin Gogolla, Michael Löwe
. A formal framework based on algebraic graph theory is presented that integrates specification and construction of dynamics in information systems. Specifications are based on temporal logic whose...
Towards Object Visualization by Conceptual Graphs (1996)
The specification language TROLL light allows to describe the part of the world to be modeled in the information system design process as a community of concurrently existing and communicating...
An Object Specification Language Implementation with Web User Interface based on Tycoon (1996)
on. The implementation employs a normal Web browser (Netscape, Mosaic, etc.) for both the exploration of template, i.e. object type, descriptions (for an example see the window in Fig. 1 displaying...
Defining Operational Behavior of Object Specifications by Attributed Graph Transformations (1996)
. A single pushout approach to the transformation of attributed partial graphs based on categories of partial algebras and partial morphisms is introduced. A sufficient condition for pushouts in...
Drafting ER and OO Schemas in Prototyping Environments (1996)
Bernd Meyer, Gerd D. Westerman, Martin Gogolla
The system Queer is a prototype of an information system design tool which directly supports an extended Entity-Relationship model on its front-end and uses a semantically well-founded query and...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
An Algebraic Semantics for the Object Specification Language TROLL light (1995)
. Within the KORSO project we have developed the object specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and...
An Algebraic Development Technique for Information Systems (1995)
. This paper reports on successful application of algebraic ideas to the formal development of software systems, in particular information systems. It describes (1) a formalism, i.e., a language, for...
A Declarative Query Approach to Object Identification (1995)
. Object identification in data models, especially in semantic, Entity-Relationship, and Object-Oriented data models is studied. Various known approaches to object identification are shown, and an...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
Towards Schema Queries for Semantic Data Models (1995)
We contribute to metadata management by giving a specification of extended EntityRelationship schemas with the extended Entity-Relationship model itself. We formulate a number of integrity...
An Animator For The Object Specification Language TROLL light (1995)
In our project we are concerned with techniques for the development of reliable information systems on the basis of their formal specification. Our work focuses on the specification language TROLL...
Safe Derivations in Object Hierarchies (1995)
Stefan Conrad, Martin Gogolla, Rudolf Herzig
ABSTRACT. We present a language for specifying structure and behavior of objects in information systems. This language is restricted to a set of core concepts for conceptual modeling. But it includes...
Safe Derivations in Object Hierarchies (1995)
Stefan Conrad, Martin Gogolla, Rudolf Herzig
ABSTRACT. We present a language for specifying structure and behavior of objects in information systems. This language is restricted to a set of core concepts for conceptual modeling. But it includes...
Compositional description of object communities with TROLL light (1994)
Rudolf Herzig, Stefan Conrad, Martin Gogolla
. TROLL light is a language for the modeling of information systems. It is designed to describe the Universe of Discourse (UoD) as a system of concurrently existing and interacting objects. TROLL...
On a Better Formal Basis for Stating SQL-like Queries in Value- and Object-Based DBS (1994)
We present a formalism whose purpose is to serve as a rigid basis for describing SQL-like queries and constraints in context of both value- and object-based data models. The formalism, whose major...
From Object Specification to Enhanced Logic Programming (1994)
Martin Gogolla, Sedat Guler, Rudolf Herzig, Tu Braunschweig, Abt Datenbanken
We combine the area of object-oriented specification and object-oriented logic programming by indicating the translation of a specification language into an enhanced logic programming language. The...
On Formal Semantics of Some Semantic Data Models (1994)
Martin Gogolla, Tu Braunschweig, Abt Datenbanken
We explain how different semantic data models like the ER model, the ERC approach and the OMT structural modeling method could be transformed into a semantically well-defined extended...
Fundamentals and Pragmatics of an Entity-Relationship Approach (1994)
Data Types, M. Bidoit, C. Choppy (Eds.), Springer, Berlin, LNCS 655, pp. 40--66, 1992. [Ehr86] H.-D. Ehrich. Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. In: Proc....
A SQL-like Query Calculus for Object-Oriented Database Systems (1994)
. Currently much effort is being spent on providing objectoriented databases with ad hoc query facilities. In this paper we present a SQL-like query calculus whose major contribution lies in its...
A Computational Model for TROLL (1993)
sses are inherent in TROLL light while they had to be introduced in TROLL by additional language features. Second TROLL light incorporates a query calculus providing a general declarative query...
An Object-Oriented Design for the ACT ONE Environment (1993)
Martin Gogolla, Ingo Claßen, Abt Datenbanken, Tu Braunschweig
The overall aim of this paper is to stabilize and strengthen the algebraic specification method to software engineering and development. We do not introduce new theoretical results, but define a...
TROLL light: A Core Language for Specifying Objects (1992)
Stefan Conrad, Martin Gogolla, Rudolf Herzig
TROLL light is a language for conceptual modeling of information systems. It is designed to describe the Universe of Discourse (UoD) as a system of concurrently existing and interacting objects....
Conceptual Modelling of Database Applications Using an Extended ER Model (1992)
Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, ...
In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic...
An Annotated Bibliography on Object--Orientation and Deduction (1992)
This note tries to briefly survey research activities and results on the integration of object-- oriented concepts and deductive database languages. 1 Introduction There are several efforts creating...
Transforming Conceptual Data Models into an Object Model (1992)
. In this paper a conceptually simple structural object model focusing on object types, attributes and ISA relationships is introduced. The model is derived mainly from an extended...
Objects and Their Specification (1992)
Hans-dieter Ehrich, Martin Gogolla, Amilcar Sernadas
Object--oriented concepts and constructions are explained in an informal and language--independent way. Various algebraic approaches for dealing with objects and their specification are examined,...
An Annotated Bibliography on Object-Orientation and Deduction (1992)
This note tries to briefly survey research activities and results on the integration of object-- oriented concepts and deductive database languages. 1 Introduction There are several efforts creating...
Ingo Claßen, Tu Berlin, Fg Formale Spezifikation, Martin Gogolla, Tu Braunschweig
Due to the interactive nature of the specification task, it is desirable and necessary for a specification environment to support a collection of pre-defined or already verified modules on secondary...
Drafting Extended Entity-Relationship Schemas with QUEER (1991)
Martin Gogolla, Bernd Meyer, Gerhard D. Westerman
this paper we introduce the system Queer which directly supports an extended Entity-Relationship model on its front-end. Queer stands for QUery system for an Extended Entity Relationship model. Queer...
Bernd Meyer, Gerhard D. Westerman Martin Gogolla (1990)
Bernd Meyer, Bernd Meyer, Gerhard D. Westerman, Martin Gogolla, ...
The combination of logic programming and databases has been given broad attention in recent years. However, mainly the connections between the relational data model and logic programming have been...
QUEER: A Prolog-based prototype for an Extended ER Approach (1990)
Gerhard D. Westerman, Bernd Meyer, Bernd Meyer, Gerhard D. Westerman, Martin Gogolla, ...
The combination of logic programming and databases has been given broad attention in recent years. However, mainly the connections between the relational data model and logic programming have been...
Datalog : eine deduktive Datenbanksprache / (1990)
Zugl.: Braunschweig, Techn. Univ., Diss., 1990.
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach (1989)
: An extended entity-relationship model concentrating nearly all concepts of known "semantic" data models and especially allowing arbitrary user defined data types is introduced. The...