Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Gunter Saake

Papers on DiSC'04


Report on the Dagstuhl Seminar "Data Quality on the Web"

Publications


Note: Links lead to the DBLP on the Web.

Gunter Saake

Hagen Höpfner , Gunter Saake, Felix Naumann , Andreas Heuer : Beitragsband zum Studierenden-Programm bei der 11. Fachtagung "Datenbankenfür Business, Technologie and Web", GI Fachbereich Datenbanken und Informationssysteme, Karlsruhe, 1. März 2005 Universität Magdeburg, Fakultät für Informatik 2005

Hagen Höpfner , Gunter Saake: Beitragsband zum Workshop "Grundlagen und Anwendungen mobiler Informationstechnologie" des GI-Arbeitskreises Mobile Datenbanken und Informationssysteme, Heidelberg, 23.-24. März 2004 Fakultät für Informatik, Universität Magdeburg 2004

Walter Cazzola , Shigeru Chiba , Gunter Saake: RAM-SE'04-ECOOP'04 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Oslo, June 15, 2004 Fakultät für Informatik, Universität Magdeburg 2004

Walter Cazzola , Shigeru Chiba , Gunter Saake: Software Evolution: A Trip Through Reflective, Aspect, and Meta-data Oriented Techniques. ECOOP Workshops 2004 : 118-132

Walter Cazzola , Ahmed Ghoneim , Gunter Saake: System Evolution through Design Information Evolution: a Case Study. IASSE 2004 : 145-150

Eike Schallehn , Kai-Uwe Sattler , Gunter Saake: Efficient similarity-based operations for data integration. Data Knowl. Eng. 48 (3): 361-387 (2004)

Nasreddine Aoumeur , Gunter Saake: Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal. Data Knowl. Eng. 50 (2): 117-173 (2004)

Sören Balko , Ingo Schmitt , Gunter Saake: The Active Vertice method: a performant filtering approach to high-dimensional indexing. Data Knowl. Eng. 51 (3): 369-397 (2004)

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 8 : 1 (2004)

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 9 : 1 (2004)

Michael Gertz , M. Tamer Özsu , Gunter Saake, Kai-Uwe Sattler : Report on the Dagstuhl Seminar: "data quality on the Web". SIGMOD Record 33 (1): 127-132 (2004)

Hagen Höpfner , Gunter Saake, Eike Schallehn : Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, Tangermünde, Sachsen-Anhalt, 10.-13. Juni 2003 Fakultät für Informatik, Universität Magdeburg 2003

Jan Chomicki , Ron van der Meyden , Gunter Saake: Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar] Springer 2003

Nasreddine Aoumeur , Gunter Saake: Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components. OOIS 2003 : 60-70

Walter Cazzola , Ahmed Ghoneim , Gunter Saake: Software Evolution through Dynamic Adaptation of Its OO Desgin. Objects, Agents, and Features 2003 : 67-80

Kai-Uwe Sattler , Stefan Conrad , Gunter Saake: Datenintegration und Mediatoren. Web & Datenbanken 2003 : 163-190

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 5 : 1 (2003)

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 6 : 1 (2003)

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 7 : 1 (2003)

Kai-Uwe Sattler , Stefan Conrad , Gunter Saake: Interactive example-driven integration and reconciliation for accessing database federations. Inf. Syst. 28 (5): 393-414 (2003)

Hagen Höpfner , Gunter Saake: Tagungsband Workshop Mobile Datenbanken und Informationssysteme - Datenbanktechnologie überall und jederzeit, Arbeitskreis Mobile Datenbanken und Informationssysteme im GI-Fachausschuss 2.5, Magdeburg, 21.-22. März 2002 Otto-von-Guericke-Universität Magdeburg 2002

Nasreddine Aoumeur , Gunter Saake: Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. CAiSE 2002 : 296-310

Ingo Schmitt , Nadine Schulz , Gunter Saake: Multi-level Weighting in Multimedia Retrieval Systems. EDBT Workshops 2002 : 353-364

Sören Balko , Ingo Schmitt , Gunter Saake: Towards Enhanced Compression Techniques for Efficient High-Dimensional Similarity Search in Multimedia Databases. EDBT Workshops 2002 : 365-375

Eike Schallehn , Kai-Uwe Sattler , Gunter Saake: Extensible and Similarity-Based Grouping for Data Integratio. ICDE 2002 : 277

Walter Cazzola , Ahmed Ghoneim , Gunter Saake: Reflective Analysis and Design for Adapting Object Run-Time Behavior. OOIS 2002 : 242-254

Nasreddine Aoumeur , Gunter Saake: A component-based Petri net model for specifying and validating cooperative information systems. Data Knowl. Eng. 42 (2): 143-187 (2002)

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 2 : 1 (2002)

Gunter Saake, Kai-Uwe Sattler : Editorial. Datenbank-Spektrum 3 : 1 (2002)

Pierre-Yves Schobbens , Gunter Saake, Amílcar Sernadas , Cristina Sernadas : A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83 (3): 167-172 (2002)

Oliver Dunemann , Ingolf Geist , Roland Jesse , Gunter Saake, Kai-Uwe Sattler : Informationsfusion auf heterogenen Datenbeständen. Inform., Forsch. Entwickl. 17 (3): 112-122 (2002)

Kai-Uwe Sattler , Oliver Dunemann , Ingolf Geist , Gunter Saake, Stefan Conrad : Limiting Result Cardinalities for Multidatabase Queries Using Histograms. BNCOD 2001 : 152-167

Oliver Dunemann , Ingolf Geist , Roland Jesse , Gunter Saake, Kai-Uwe Sattler : InFuse - Eine datenbankbasierte Plattform für die Informationsfusion. BTW 2001 : 9-25

Eike Schallehn , Kai-Uwe Sattler , Gunter Saake: Advanced Grouping and Aggregation for Data Integration. CIKM 2001 : 547-549

Eike Schallehn , Kai-Uwe Sattler , Gunter Saake: Extensible Grouping and Aggregation for Data Reconciliation. EFIS 2001 : 19-32

Hussien Oakasha , Stefan Conrad , Gunter Saake: Consistency management in object-oriented databases. Concurrency and Computation: Practice and Experience 13 (11): 955-985 (2001)

Gunter Saake, Kai-Uwe Sattler : Editorial . Datenbank-Spektrum 1 : 1 (2001)

Gunter Saake, Kerstin Schwarz , Can Türker : Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers Springer 2000

Gunter Saake, Kai-Uwe Sattler : Datenbanken & Java - JDBC, SQLJ und ODMG dpunkt 2000

Can Türker , Kerstin Schwarz , Gunter Saake: Global Transaction Termination Rules in Composite Database Systems. BNCOD 2000 : 122-139

Kai-Uwe Sattler , Stefan Conrad , Gunter Saake: Adding Conflict Resolution Features to a Query Language for Database Federations. EFIS 2000 : 41-52

Gunter Saake, Can Türker , Stefan Conrad : Evolving Objects: Conceptual Description of Adaptive Information Systems. FMLDO 2000 : 163-181

Nasreddine Aoumeur , Gunter Saake: Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach. FMLDO 2000 : 33-67

Martin Endig , Michael Höding , Gunter Saake, Kai-Uwe Sattler , Eike Schallehn : Federation Services for Heterogeneous Digital Libraries Accessing Cooperative and Non-Cooperative Sources. Kyoto International Conference on Digital Libraries 2000 : 314-321

Gunter Saake, Can Türker , Kerstin Schwarz : Report on the International Workshop ``Transactions and Database Dynamics'', Dagstuhl Castle, Germany, September 27-30, 1999. Datenbank Rundbrief 26 : 8 (2000)

Can Türker , Gunter Saake: Global Extensional Assertions and Local Integrity Constraints in Federated Schemata. Inf. Syst. 25 (8): 503-526 (2000)

Gunter Saake, Andreas Heuer : Datenbanken: Implementierungstechniken MITP-Verlag 1999

Kerstin Schwarz , Can Türker , Gunter Saake: Computing Rules for Detecting Contradictory Transaction Termination Dependencies. ADBIS 1999 : 113-127

Can Türker , Gunter Saake: Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration. ADBIS 1999 : 31-45

Nasreddine Aoumeur , Stefan Conrad , Gunter Saake: Prototyping Object Specifications Using the CO-Nets Approach. AWPN 1999

Stefan Conrad , Gunter Saake, Kai-Uwe Sattler : Informationfusion - Herausforderung an die Datenbanktechnologie. BTW 1999 : 307-316

Nasreddine Aoumeur , Gunter Saake: Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. CAiSE 1999 : 381-395

Hussien Oakasha , Stefan Conrad , Gunter Saake: Consistency Management in Object-Oriented Databases. ECOOP Workshop on Object-Oriented Databases 1999 : 97-108

Hussien Oakasha , Stefan Conrad , Gunter Saake: Consistency Management in Object-Oriented Databases. ECOOP Workshops 1999 : 216

Michael Höding , Kerstin Schwarz , Stefan Conrad , Gunter Saake, Sören Balko , A. Diekmann , Eyk Hildebrandt , Kai-Uwe Sattler , Ingo Schmitt , Can Türker : SIGMA FDB : Overview of the Magdeburg-Approach to Database Federations. EFIS 1999 : 139-146

Kai-Uwe Sattler , Gunter Saake: Supporting Information Fusion with Federated Database Technologies (Position Paper). EFIS 1999 : 179-184

Stefan Conrad , Gunter Saake, Ingo Schmitt , Can Türker : Database Design: Object-Oriented versus Relational. EMISA 1999 : 109-125

Gunter Saake: Entwurf von Datenbankföderationen. EMISA 1999 : 37-62

Stefan Conrad , Gunter Saake: Objektorientierung für Informationssysteme: Eine kritsche Bestandsaufnahme. EMISA 1999 : 93-107

Kerstin Schwarz , Ingo Schmitt , Can Türker , Michael Höding , Eyk Hildebrandt , Sören Balko , Stefan Conrad , Gunter Saake: Design Support for Database Federations. ER 1999 : 445-459

Nasreddine Aoumeur , Gunter Saake: Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach. Modellierung 1999 : 107-122

Kerstin Schwarz , Can Türker , Gunter Saake: Integrating Execution Dependencies into the Transaction Closure Framework. Int. J. Cooperative Inf. Syst. 8 (2-3): 111-138 (1999)

Stefan Conrad , Wilhelm Hasselbring , Uwe Hohenstein , Ralf-Detlef Kutsche , Mark Roantree , Gunter Saake, Fèlix Saltor : Engineering Federated Information Systems: Report of EFIS '99 Workshop. SIGMOD Record 28 (3): 9-11 (1999)

Jan Chomicki , Gunter Saake: Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995) Kluwer 1998

Kerstin Schwarz , Can Türker , Gunter Saake: Extending Transaction Closures by N-ary Termination Dependencies. ADBIS 1998 : 131-142

Can Türker , Gunter Saake: Deriving Relationships between Integrity Constraints for Schema Comparison. ADBIS 1998 : 188-199

Michael Höding , Ralf Hofestädt , Gunter Saake, Uwe Scholz : Schema Derivation for WWW Information Sources and Their Integration with Databases in Bioinformatics. ADBIS 1998 : 296-304

Kerstin Schwarz , Can Türker , Gunter Saake: Execution Dependencies in Transaction Closures. CoopIS 1998 : 122-131

Ingo Schmitt , Gunter Saake: Merging Inheritance Hierarchies for Database Integration. CoopIS 1998 : 322-331

Eyk Hildebrandt , Gunter Saake: User Authentication in Multidatabase Systems. DEXA Workshop 1998 : 281-286

Hussien Oakasha , Gunter Saake: Foundations for Integrity Independence in Relational Databases. FMLDO 1998 : 143-165

Stefan Conrad , Gunter Saake, Ingo Schmitt : Minisymposium: Neue Entwicklungen in der Informatikausbildung. GI Jahrestagung 1998 : 361-364

Rudolf Kruse , Gunter Saake: Workshop: Data Mining und Data Warehousing als Grundlage moderner entscheidungsunterstützender Systeme. GI Jahrestagung 1998 : 385-386

Kerstin Schwarz , Can Türker , Gunter Saake: Analyzing and Formalizing Dependencies in Generalized Transaction Structures. IADT 1998 : 55-62

Kerstin Schwarz , Can Türker , Gunter Saake: Transitive Dependencies in Transaction Closures. IDEAS 1998 : 34-43

Jan Chomicki , Gunter Saake: Introduction to Logics for Databases and Information Systems. Logics for Databases and Information Systems 1998 : 1-4

Stefan Conrad , Jaime Ramos , Gunter Saake, Cristina Sernadas : Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems 1998 : 199-228

Kerstin Schwarz , Can Türker , Gunter Saake: Transaction Dependencies in Generalized Transaction Structures. Datenbank Rundbrief 21 : 26-28 (1998)

Gunter Saake: Aktivitäten des Arbeitskreises "Grundlagen von Informationssytemen" im Jahr 1998. Datenbank Rundbrief 22 : 34-38 (1998)

Stefan Conrad , Can Türker , Gunter Saake: Towards Agent-Oriented Specification of Information Systems. Agents 1997 : 502-503

Stefan Conrad , Michael Höding , Gunter Saake, Ingo Schmitt , Can Türker : Schema Integration with Integrity Constraints. BNCOD 1997 : 200-214

Gunter Saake, Andreas Christiansen , Stefan Conrad , Michael Höding , Ingo Schmitt , Can Türker : Föderierung heterogener Datenbanksysteme DBS und lokaler Datenhaltungskomponenten zur systemübergreifenden Integritätssicherung. BTW 1997 : 322-331

Stefan Conrad , Gunter Saake: Extending Temporal Logic for Capturing Evolving Behaviour. ISMIS 1997 : 60-71

Stefan Conrad , Gunter Saake, Can Türker : Towards an Agent-Oriented Framework for Specification of Information Systems. ModelAge Workshop 1997 : 57-73

Andreas Christiansen , Stefan Conrad , Steffen Geschke , Michael Höding , Gunter Saake, Kerstin Schwarz : Resümee vom Herbsttreffen der FG Datenbanken und des AK Grundlagen von Informationssystemen, Magdeburg, 1997. Datenbank Rundbrief 20 : 18-19 (1997)

Gunter Saake: Aktivitäten des Arbeitskreises Grundlagen von Informationssystemen in den Jahren 1996 und 1997. Datenbank Rundbrief 20 : 92-98 (1997)

Ingo Schmitt , Gunter Saake: Integration of Inheritance Trees as Part of View Generation For Database Federations. ER 1996 : 195-210

Can Türker , Stefan Conrad , Gunter Saake: Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. ISMIS 1996 : 572-581

Ralf Jungclaus , Gunter Saake, Thorsten Hartmann , Cristina Sernadas : TROLL - A Language for Object-Oriented Specification of Information Systems. ACM Trans. Inf. Syst. 14 (2): 175-211 (1996)

Carlos Caleiro , Gunter Saake, Amílcar Sernadas : Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. 22 (5/6): 521-553 (1996)

Roel Wieringa , Gunter Saake: Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques. Requir. Eng. 1 (2): 106-131 (1996)

Andreas Heuer , Gunter Saake: Datenbanken: Konzepte und Sprachen International Thompson Publishing 1995

Jan-Hardy Kusch , Peter Hartel , Thorsten Hartmann , Gunter Saake: Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment DEXA 1995 : 38-47

Jan-Hardy Kusch , Gunter Saake: Supporting Autonomy for Information Systems in a Changing Environment. KRDB 1995

Gunter Saake, Stefan Conrad , Can Türker : From Object Specification towards Agent Design. OOER 1995 : 329-340

Ingo Schmitt , Gunter Saake: Managing Object Identity in Federated Database Systems. OOER 1995 : 400-411

Scarlet Schwiderski , Gunter Saake: Expressing Temporal Behaviour with Extended ECA Rules. BNCOD 1994 : 23-37

Ralf Jungclaus , Roel Wieringa , Peter Hartel , Gunter Saake, Thorsten Hartmann : Combining TROLL with the Object Modeling Technique. GI Jahrestagung 1994 : 35-42

Gunter Saake, Thorsten Hartmann : Modelling Information Systems as Object Societies. IS/KI 1994 : 157-180

Scarlet Schwiderski , Thorsten Hartmann , Gunter Saake: Monitoring Temporal Preconditions in a Behaviour Oriented Object Model. Data Knowl. Eng. 14 (2): 143-186 (1994)

Udo W. Lipeck , Michael Gertz , Gunter Saake: Transitional Monitoring of Dynamic Inegrity Constraints. IEEE Data Eng. Bull. 17 (2): 38-42 (1994)

Gunter Saake, Thorsten Hartmann , Ralf Jungclaus , Hans-Dieter Ehrich : Object-Oriented Design of Information Systems: TROLL Language Features. CISM - Advances in Database Systems 1993 : 219-245

Gunter Saake, Ralf Jungclaus , Thorsten Hartmann : Application Modelling in Heterogeneous Environments Using an Object Specification Language. CoopIS 1993 : 309-318

Thorsten Hartmann , Ralf Jungclaus , Gunter Saake: Animation Support for a Conceptual Modelling Language. DEXA 1993 : 56-67

Thorsten Hartmann , Ralf Jungclaus , Gunter Saake: Spezifikation von Informationssystemen als Objektsysteme: Das TROLL-Projekt. EMISA Forum 3 (1): 2-18 (1993)

Gunter Saake: Neue Paradigmen in Informationssystemen und Datenbanken: Deduktion, Verteilung, Objektorientierung, Fachgespräch F12 auf der GI'93 in Dresden. GI Datenbank Rundbrief 12 : 29 (1993)

Gunter Saake: Objektorientierte Spezifikation von Informationssystemen. GI Datenbank Rundbrief 12 : 58 (1993)

Gunter Saake, Ralf Jungclaus , Thorsten Hartmann : Application Modelling in Heterogeneous Environments Using an Object Specification Language. Int. J. Cooperative Inf. Syst. 2 (4): 425-450 (1993)

Gunter Saake, Ralf Jungclaus : Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects. BNCOD 1992 : 78-95

Thorsten Hartmann , Ralf Jungclaus , Gunter Saake: Aggregation in a Behaviour Oriented Object Model. ECOOP 1992 : 57-77

Scarlet Schwiderski , Gunter Saake: Monitoring Temporal Permissions using Partially Evaluated Transition Graphs. FMLDO 1992 : 196-217

Georg Lausen , Gunter Saake: A Possible World Semantics for Updates by Versioning. FMLDO 1992 : 36-47

Hans-Dieter Ehrich , Gunter Saake, Amílcar Sernadas : Concepts of Object-Orientation. IS/KI 1992 : 1-19

Thorsten Hartmann , Ralf Jungclaus , Gunter Saake, Hans-Dieter Ehrich : Spezifikation von Objektsystemen. Objektbanken für Experten 1992 : 220-242

Michael Kramer , Georg Lausen , Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992 : 251-262

Gregor Engels , Martin Gogolla , Uwe Hohenstein , Klaus Hülsmann , Perdita Löhr-Richter , Gunter Saake, Hans-Dieter Ehrich : Conceptual modelling of database applications using extended ER model. Data Knowl. Eng. 9 : 157-204 (1992)

Gunter Saake, Ralf Jungclaus : Konzeptioneller Entwurf von Objektgesellschaften. BTW 1991 : 327-343

Ralf Jungclaus , Gunter Saake, Thorsten Hartmann : Language Features for Object-Oriented Conceptual Modelling. ER 1991 : 309-324

Gunter Saake, Ralf Jungclaus , Cristina Sernadas : Abstract Data Type Semantics for Many-Sorted Object Query Algebras. MFDBS 1991 : 291-307

Gunter Saake, Ralf Jungclaus , Hans-Dieter Ehrich : Object-Oriented Specification and Stepwise Refinement. Open Distributed Processing 1991 : 99-121

Ralf Jungclaus , Gunter Saake: Formal Specification of Object Systems. TAPSOFT, Vol.2 1991 : 60-82

Klaus Hülsmann , Gunter Saake: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Acta Inf. 28 (4): 365-407 (1991)

Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6 : 47-73 (1991)

José Luiz Fiadeiro , Cristina Sernadas , T. S. E. Maibaum , Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990 : 243-284

Ralf Jungclaus , Gunter Saake: Using Active Objects for Query Processing. DS-4 1990 : 285-303

Klaus Hülsmann , Gunter Saake: Representation of the Historical Information Necessary for Temporal Integrity Monitoring. EDBT 1990 : 378-392

Gunter Saake, Rainer Manthey : Relationship between Static and Dynamic Integrity Constraints (Working Group). FMLDO 1990 : 213

Gunter Saake, Ralf Jungclaus : Information about Objects versus Derived Objects (Extended Abstract). FMLDO 1990 : 59-69

Gunter Saake: Conceptual Modeling of Database Applications. IS/KI 1990 : 213-232

Klaus Küspert , Gunter Saake, Lutz Michael Wegner : Duplicate Detection and Deletion in the Extended NF² Data Model. FODO 1989 : 83-100

Gunter Saake: Semantische Modellbindungen für zeitliches Datenbankverhalten. Grundlagen von Datenbanken 1989

Gunter Saake, Volker Linnemann , Peter Pistor , Lutz Michael Wegner : Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype. VLDB 1989 : 307-316

Gunter Saake, Udo W. Lipeck : Using Finite-Linear Temporal Logic for Specifying Database Dynamics. CSL 1988 : 288-300

Udo W. Lipeck , Gunter Saake: Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen. GI Jahrestagung (2) 1988 : 449-463

Uwe Hohenstein , Leonore Neugebauer , Gunter Saake, Hans-Dieter Ehrich : Three-Level-Specification of Databases using an extended Entity-Relationship Model. EMISA 1987 : 58-88

Gunter Saake, Udo W. Lipeck : Foundations of Temporal Integrity Monitoring. Temporal Aspects in Information Systems 1987 : 235-249

Udo W. Lipeck , Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12 (3): 255-269 (1987)

1 [ 77 ] [ 86 ] [ 88 ] [ 95 ] [ 111 ] [ 116 ] [ 124 ] [ 131 ]

2 [ 78 ] [ 83 ] [ 114 ] [ 130 ]

3 [ 48 ]

4 [ 112 ] [ 123 ] [ 133 ] [ 134 ] [ 135 ]

5 [ 134 ] [ 135 ]

6 [ 62 ] [ 74 ] [ 125 ]

7 [ 53 ] [ 56 ]

8 [ 43 ] [ 50 ] [ 53 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 58 ] [ 61 ] [ 66 ] [ 75 ] [ 78 ] [ 79 ] [ 81 ] [ 83 ] [ 84 ] [ 85 ] [ 87 ] [ 88 ] [ 96 ] [ 97 ] [ 102 ] [ 106 ] [ 118 ] [ 122 ]

9 [ 83 ]

10 [ 105 ] [ 106 ] [ 107 ]

11 [ 3 ] [ 18 ] [ 22 ] [ 24 ] [ 25 ] [ 36 ]

12 [ 94 ]

13 [ 22 ]

14 [ 14 ]

15 [ 105 ] [ 106 ] [ 107 ]

16 [ 37 ] [ 127 ]

17 [ 53 ]

18 [ 112 ] [ 123 ] [ 133 ]

19 [ 22 ]

20 [ 40 ] [ 45 ]

21 [ 20 ] [ 24 ] [ 28 ] [ 30 ] [ 33 ] [ 34 ] [ 35 ] [ 36 ] [ 38 ] [ 39 ] [ 40 ] [ 45 ] [ 49 ]

22 [ 75 ]

23 [ 46 ] [ 91 ] [ 137 ]

24 [ 68 ] [ 78 ] [ 83 ]

25 [ 53 ] [ 56 ] [ 57 ] [ 71 ] [ 78 ] [ 83 ] [ 94 ]

26 [ 71 ]

27 [ 3 ] [ 22 ] [ 75 ]

28 [ 117 ] [ 126 ] [ 136 ] [ 137 ]

29 [ 12 ] [ 16 ] [ 22 ]

30 [ 105 ] [ 107 ]

31 [ 10 ] [ 13 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 24 ] [ 28 ] [ 29 ] [ 30 ] [ 33 ] [ 34 ] [ 35 ] [ 36 ] [ 40 ] [ 49 ]

32 [ 23 ]

33 [ 65 ]

34 [ 44 ] [ 45 ]

35 [ 8 ]

36 [ 75 ]

37 [ 23 ] [ 26 ]

38 [ 6 ]

39 [ 1 ] [ 2 ] [ 4 ] [ 5 ] [ 37 ]

40 [ 22 ]

41 [ 14 ]

42 [ 11 ]

43 [ 125 ]

44 [ 137 ]

45 [ 3 ]

46 [ 67 ] [ 84 ] [ 85 ] [ 102 ]

47 [ 127 ]

48 [ 6 ]

49 [ 61 ]

50 [ 75 ]

51 [ 75 ]

52 [ 82 ] [ 83 ] [ 87 ] [ 94 ] [ 97 ] [ 99 ] [ 101 ] [ 103 ] [ 104 ] [ 105 ] [ 106 ] [ 107 ] [ 109 ] [ 110 ] [ 113 ] [ 118 ] [ 119 ] [ 120 ] [ 121 ] [ 122 ] [ 127 ] [ 128 ] [ 129 ] [ 132 ]

53 [ 94 ] [ 103 ] [ 104 ] [ 113 ] [ 126 ] [ 132 ]

54 [ 42 ] [ 51 ] [ 56 ] [ 57 ] [ 66 ] [ 69 ] [ 78 ] [ 81 ] [ 83 ] [ 114 ] [ 115 ] [ 130 ]

55 [ 108 ]

56 [ 71 ]

57 [ 115 ]

58 [ 53 ] [ 60 ] [ 63 ] [ 64 ] [ 70 ] [ 73 ] [ 76 ] [ 78 ] [ 83 ] [ 90 ] [ 93 ] [ 98 ] [ 100 ]

59 [ 27 ] [ 38 ] [ 41 ]

60 [ 25 ] [ 48 ] [ 108 ]

61 [ 14 ] [ 19 ] [ 49 ] [ 61 ] [ 108 ]

62 [ 43 ] [ 50 ] [ 54 ] [ 56 ] [ 57 ] [ 58 ] [ 60 ] [ 63 ] [ 64 ] [ 70 ] [ 72 ] [ 73 ] [ 76 ] [ 78 ] [ 81 ] [ 83 ] [ 89 ] [ 90 ] [ 92 ] [ 93 ] [ 96 ] [ 98 ] [ 100 ]

63 [ 6 ] [ 8 ]

64 [ 40 ] [ 47 ]




©2005 Association for Computing Machinery