One Two
You are here: Home Publications

Publications

 

2017 2016 2015 2014 2013 2012 2011 2010

2009 2008 2007 2006 2005 2004 2003 2002 2001 2000

1999 1998 1997 1996 1995 1994 1993 1992 1991 1990

1989 1988 1987 1986 1985 1984 1983 1982 1981 1980

 

2017
  • Hermann K., Voigt H., Behrend A., Rausch J., Lehner W.: Living in Parallel Realities: Co-Existing Schema Versions with Bidirectional Database Evolution Language, ACM SIGMOD.

  • Engels C., Behrend A., Brass S.: A Rule-Based Approach to Analyzing Database Schema Objects with Datalog, 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'17), Springer.

  • Engels C., Behrend A., Brass S.: A Declarative Approach to Analyzing Schema Objects and Functional Dependencies, 21st European Conference on Advances in Databases and Information Systems (ADBIS’17), Springer.

  • Behrend A., Vahdati S., Lange C., Engels C.: Towards a Cloud-Based Service for Maintaining and Analyzing Data About Scientific Events, 3rd International Workshop on Semantics, Analytics, Visualization: Enhancing Scholarly Data (SAVE-SD'17), Springer.

2016
  • Herrmann K., Voigt H., Rausch J., Behrend A., Lehner W.: Robust and Simple Database Evolution, Information Frontiers, pp. 1-17, Springer.

  • Behrend A, Schniegelt P., Dohr A.: Supporting Situation Awareness in Spatio-Temporal Databases, Datenbank-Spektrum, pp. 1-10, Springer.

2015
  • Behrend A., Schmiegelt P., Gawlick D., Liu Z., Fehling R. : Mastering Situation Awareness in Healthcare Database Systems, 16th IEEE International Conference on Information Reuse and Integration (IRI'15), IEEE Conference Publications.

  • Herrmann K., Voigt H., Behrend A., Lehner W.: CoDEL-A Relationally Complete Language for Database Evolution, 19th East-European Conference on Advances in Databases and Information Systems (ADBIS’15), Springer.

  • Schüller G., Schmiegelt P., Behrend A.: Air Traffic Monitoring Using Datastream Analysis Techniques (FUSION’15), IEEE Conference Publications.

  • Behrend A., Griefahn U., Voigt H., Schmiegelt P.: Optimizing Continuous Queries Using Update Propagation with Varying Granularities, 27th International Conference on Scientific and Statistical Databases Management (SSDBM’15), ACM International Conference Proceedings Series.  

  • Delhibabu R., Behrend A.: A New Rational Algorithm for View Updating in Relational Databases, International Journal of Applied Intelligence 42(3): 466-480, Springer.

2014
  • Schmiegelt P., Behrend A., Seeger B., Koch W: A Concurrently Updatable Index Structure for Predicted Paths of Moving Objects, Journal of Data & Knowledge Engineering (DKE 2014): pp. 80-96 DOI 10.1016/j.datak.2014.07.007.

  • Behrend A., Schmiegelt P., Xie J., Fehling R., Ghoneimy A., Liu Z., Chan E., Gawlick D.: Temporal State Management for Supporting the Real-Time Analysis of Clinical Data, 18th East-European Conference on Advances in Databases and Information Systems (ADBIS’14).

  • Vahdati S., Lange C., Behrend A.: Identifying Research Schools Using Enriched Bibliographical Metadata, 14th International Conference on Knowledge Technologies and Data-Driven Business (i-KNOW'14).

  • Behrend A., Schüller G.: A Case Study in Optimizing Continuous Queries Using the Magic Update Technique,26th International Conference on Scientific and Statistical Databases Management (SSDBM’14), ACM International Conference Proceedings Series.

  • Behrend A., Vahdati S., Schüller G.,Manthey R.: A Flexible System for a Comprehensive Analysis of Bibliographical Data, 10th International Conference on Web Information Systems and Technologies (WEBIST'14). 

2013
  • Behrend A.: A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases, Chapter 5 in Applications of Declarative Programming and Knowledge Management, LNAI 7773 pp. 1-16

  • Schmiegelt P., Behrend A., Seeger B, Koch W.: A Probabilistic Index Structure for Querying Future Positions of Moving Objects, 17th East-European Conference on Advances in Databases and Information Systems (ADBIS’13), LNCS.

  • Schüller G. and Behrend A.: Stream Fusion with Reactive Programming, LINQ and Magic Updates (FUSION’13), S. 1-8, IEEE Conference Publications.

  • Schüller G. and Behrend A.: Towards an Universal Tracking Database, 25th International Conference on Scientific and Statistical Databases Management (SSDBM’13), ACM International Conference Proceedings Series.

  • Schmiegelt P., Xie J., Schüller G., Behrend A.: Database Functionalities for Evolving Monitoring Applications, 2cnd International Conference on Data Management Technologies and Applications (DATA’13).

  • Schmiegelt P., Xie J., Schüller G., Behrend A.: Towards an Integrated Approach to Monitor and Analyse Health Care Data Using Relational Databases, 6th International Conference on Health Informatics (HEALTHINF’13).

  • Büscher W.L, Hendriksen K.L., Müller U., Müller P., Behrend A.,Stamer E.: Milchvieh-Informationsmanagement auf Versuchsbetrieben – Beispielanwendungen und Nutzen für Praxisbetriebe, 33. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft e.V. (GIL'13). 

2012
  • Tantius R., Speicher D., Behrend A.: An Application of Update Propagation on Logic Programs Representing Java Source Code (WLP’12), 26th Workshop on Logic Programming, pp. 49-60.

  • Schmiegelt P., Behrend A., Seeger B, Koch W.: Continous Queries on Trajectories of Moving Objects, 16th International Database Engineering & Applications Symposium (IDEAS’12), ACM International Conference Proceedings Series.

  • Schüller G., Schmiegelt P., Behrend A.: Supporting Phase Management in Stream Applications, 16th East-European Conference on Advances in Databases and Information Systems (ADBIS’12), LNCS 7503, pp. 332-345.

  • Zhen H. L., Behrend A., Chan E. S., Gawlick D., Ghoneimy A. (2012): KIDS - A Model for Developing Evolutionary Database Applications, International Conference on Data Technologies and Applications (DATA’12).

  • Behrend A., Gawlick D., Nicklas D. (2012): DBMS meets DSMS: Towards a Federated Solution, International Conference on Data Technologies and Applications (DATA’12).

  • Gawlick D., Chan E. S., Behrend A., Ghoneimy A., Zhen H. L. (2012): Towards a Synergistic Model for Managing Data, Knowledge, Process, and Social Interaction , 17th International Conference on Transformative Science, Engineering, and Business Innovation (SDPS’12).

  • Schüller G., Saul R., Behrend A.: AIMS: A Tool for the View-Based Analysis of Streams of Flight Data, 24th International Conference on Scientific and Statistical Database Management (SSDBM’12), LNCS.

  • Andreas Behrend: A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11),Infsys Research Report 1843-11-06 TU Wien, CoRR abs/1108.5451

  • Behrend A., Schüller G., Wienecke M.: Efficient Tracking of Moving Objects Using a Relational Database, Journal of Information Systems, Elsevier-Verlag, DOI 10.1016/j.is.2012.01.001

  • Behrend A., Schüller G., Koch W.: Detecting Anomalies in Sensor Signals Using Database Technology, Kapitel 7 in Advances in Intelligent Signal Processing and Data Mining -- Theory and Applications, Eds. Georgieva P., Mihaylova L., Jain L.C., Springer Verlag 2012
    ["http://www.amazon.com/Advances-Intelligent-Signal-Processing-Mining/dp/364228695X"]

  • Behrend A., Seipel D., Hanus M., Bry F., Manthey R. (eds.) : Proceedings of the 26th Workshop on (Constraint) Logic Programming (WLP 2012) [pdf]

2011
  • Gereon Schüller, Andreas Behrend: AIMS: An SQL-based System for Airspace Monitoring, , Proceedings 14th GI-Fachtagung  "Datenbanksysteme in Büro, Technik und Wissenschaft" (BTW '11), Kaiserslautern, March 2011, Lecture Notes in Informatics (LNI) 180, pp. 718-721 [PDF file]

  • Andreas Behrend: A Uniform Fixpoint Approach to the Implementation of Inference Methods for Deductive Databases, 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP'11), INFSYS RESEARCH REPORT 1843-11-06, pp. 67-77

  • G. Schüller, R. Saul, and A. Behrend: In-Memory Caching for Fast Stream History Access, 2cnd ACM SIGSPATIAL International Workshop on GeoStreaming (IWGS'11),  ACM Conference Proceedings.

2010

  • Kasper, A., Philipp J., Kastleiner, M., Faeskorn-Woyke, H., Bertelsmeier, B., Behrend, A. (2010): visualDependencies for Databases - Visualisierung der Abhängigkeiten von Datenbankobjekten, DOAG-News 1/2010, S. 62-64.
     

  • Andreas Behrend, Gereon Schüller, Rainer Manthey: AIMS: An SQL-based System for Airspace Monitoring, 1st ACM SIGSPATIAL International Workshop on GeoStreaming (IWGS'10),  ACM Conference Proceedings,  pp. 31-38
     

  • G. Schüller, W. Koch, J. Biermann, A. Behrend, and R. Manthey: Anomalieerkennung in Tracking-Datenbanken, Fachzeitschrift tm-Technisches Messen, Themenheft ’Verteilte Messsysteme’, Jahrgang 77 (2010) Heft 10, S. 568-573, Oldenbourg Wissenschaftsverlag

  •  G. Schüller, W. Koch, J. Biermann, A. Behrend, and R. Manthey: Anomalieerkennung in Tracking-Datenbanken, Expertenforum ’Verteilte Messsysteme 2010’ der VDI/VDEGesellschaft Mess- und Automatisierungstechnik (GMA), S. 25-36, KIT Scientific Publishing, Karlsruhe

  •  Andreas Behrend and Thomas Jörg: Optimized Incremental ETL Jobs for Maintaining Data Warehouses, 14th International Database Engineering and Applications Symposium (IDEAS 2010), ACM International Conference Proceedings Series  [PDF file]

2009
  • G. Schüller, W. Koch, J. Biermann, A. Behrend, R. Manthey: Pattern Recognition Using Queries in Relational Tracking Data Bases,  3rd Annual Skövde Workshop in Information Fusion Topics (SWIFT'09),   Skövde/Sweden, October 2009, Skövde Studies in Informatics 2009.3, pp. 17-21 [PDF file]

  • Andreas Behrend: A Classification Scheme for Update Propagation Methods in Deductive Databases, Proceedings International Workshop on Logic In Databases (LID '09), Roskilde/Denmark, October 2009, Roskilde University, Computer Science Research Report 127, pp. 27-42 [PDF file]

  • Andreas Behrend: A Magic Approach to Optimizing Incremental Relational Expressions,  Proceedings 13th International Database Engineering and Applications Symposium (IDEAS '09), Cetraro/Italy,  September 2009,  ACM International Conference Proceedings Series, pp. 12-22  [PDF file]

  • Andreas Behrend, Rainer Manthey, Gereon Schüller, Monika Wieneke: Detecting Moving Objects in Noisy Radar Data Using a Relational Database, Proceedings 13th East-European Symposium on Advances in Databases and Information Systems (ADBIS'09),  Riga/Latvia, September 2009, Springer LNCS 5739, pp. 286-300  [PDF file]

  • Andreas Behrend, Christian Dorau, Rainer Manthey: SQL Triggers Reacting on Time Events: An Extension Proposal,  Proceedings 13th East-European Symposium on Advances in Databases and Information Systems (ADBIS'09),  Riga/Latvia, September 2009, Springer LNCS 5739, pp. 179-193 [PDF file]

  • Andreas Behrend, Christian Dorau, Rainer Manthey: TInTo: A Tool for View-Based Analysis of Stock Market Data Streams, Proceedings 13th GI-Fachtagung  "Datenbanksysteme in Büro, Technik und Wissenschaft" (BTW '09), Münster, Münster, March 2001, Lecture Notes in Informatics (LNI) 144, pp. 584-587 [PDF file
2008
  • Andreas Behrend, Christian Dorau, Rainer Manthey, Gereon Schüller: Incremental View-Based Analysis of Stock Market Data Streams, Proceedings 12th International Database Engineering and Applications Symposium (IDEAS '08), Coimbra/Portugal, ACM International Conference Proceedings Series 299, pp. 269-275 [PDF file]

  • Andreas Behrend, Frank Reichartz, Christian Dorau, Rainer Manthey: Data Stream Analysis for Location-Aware Collaborative Information Retrieval, Proceedings 12th East-European Symposium on Advances in Databases and Information Systems (ADBIS'08),  Pori/Finland, September 2009, Tampere University of Technology, ISBN 978-952-15-2014-3, pp. 74-89 [PDF file]

  • Andreas Behrend, Rainer Manthey: A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases, Proceedings 5th International Symposium on Foundations of Information and Knowledge Systems FOIKS'08), Pisa/Italy, February 2008, Springer LNCS 4932, pp. 253-271 [PDF file]
 
2007

 

  • Andreas Behrend: A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases, Proceedings 11th East-European Symposium on Advances in Databases and Information Systems (ADBIS'07), Varna/Bulgaria, Sept./Oct. 2007, Springer LNCS 4690, pp. 283-297 [PDF file]

  • Andreas Behrend, Christian Dorau, Rainer Manthey : TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data, Proceedings 12th International Conference on Database Systems for Advanced Applications (DASFAA'07), Bangkok/Thailand, April 2007, Springer LNCS 4433, pp. 1110-1114  [PDF file]

 

  • Andreas Behrend, Christian Dorau, Rainer Manthey: Time-based Triggers for SQL: A Lingering Issue Revisited,  Technical Report IAI-TR-2007-7, University of Bonn, Department of Computer Science III [PDF file]

2006

 

  • Andreas Behrend: A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases, Technical Report IAI-TR-2006-7, University of Bonn, Department of Computer Science III  [PDF file]

 

2005

 

  • Andreas Behrend: Optimizing Existential Queries in Stratifiable Deductive Databases,  Proceedings 20th Annual ACM Symposium on Applied Computing (SAC'05), Santa Fe/USA, March 2005, pp- 623-628  [PDF file (140 kB)]

 

  • Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (eds.): INFORMATIK 2005 – Informatik LIVE! – Bd. 2 Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V., Bonn, September 2005, Lecture Notes in Informatics (LNI), Vol. 67, GI, Bonn, 2005, ISBN 3-88579-396-2

 

  • Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage (eds.): INFORMATIK 2005 – Informatik LIVE! – Bd. 2 Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V., Bonn, September 2005, Lecture Notes in Informatics (LNI), Vol. 68, GI, Bonn, 2005, ISBN 3-88579-397-0 

 

  • Francois Bry, and Rainer Manthey: Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From SATCHMO,   Forschungsbericht PMS-FB-2005-45, December 2005, Ludwig-Maximilians-Universität München, Institut für Informatik, 13 Seiten [PDF file]

 

2004

 

  • Andreas Behrend and Rainer Manthey: Update Propagation in Deductive Databases Using Soft Stratification, Proceedings 8th East European Conference on Advances in Databases and Information Systems (ADBIS’04), Budapest/Hungary, September 2004, Springer LNCS 3255, pp.22-36 [PDF file]

 

  • Rainer Manthey and Oliver Speidel: Simulation und Monitoring mobiler Objekte in Verkehrsnetzen in: W. Kuhn, M. Raubal (Hrsg.):  „Geoinformation und Mobilität“, Proceedings Münsteraner GI-Tage 2004, Münster, Juli 2004, pp.15-26 [PDF file]

 

2003

 

  • Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka (eds.): Advances in Databases and Information Systems, Proceedings 7th East European Conference on Advances in Databases and Information Systems (ADBIS’03), Dresden, September 2003, Springer LNCS 2798

  • Andreas Behrend: Soft Stratification for Magic Set Based Query Evaluation in Deductive Databases,  Proceedings 22nd  ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS '03), San Diego, June 2003, pp. 102-110  [PDF file (158 kB)]
 
2002

 

  • Andreas Behrend: Why to Use Deductive Technology in SQL Databases? Proceedings 14th GI-Workshop "Grundlagen von Datenbanken", Fischland, Mai 2002, Universität Rostock, FB Informatik, Techn. Report CS-01-02 [PDF file (123 kB)]

 

  • Oliver Speidel: A Rule-Based Approach to Monitoring Moving Objects: Proceedings 14th GI-Workshop "Grundlagen von Datenbanken", Fischland, Mai 2002, Universität Rostock, FB Informatik, Techn. Report CS-01-02 [PDF file]

 

2001

 

  • Andreas Behrend: Efficient Computation of the Well-Founded Model Using Update Propagation, Proceedings 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '01), Habana,/Cuba, December 2001, Springer LNCS 2250, pp. 422-437 [PDF file (259 kB)] 

  • Andreas Behrend, Rainer Manthey, and Birgit Pieper: An Amateur`s Introduction to Integrity Constraints and Integrity Checking in SQL, Proceedings 9th GI-Fachtagung  "Datenbanksysteme in Büro, Technik und Wissenschaft"(BTW '01), Oldenburg, März 2001, Springer Informatik aktuell 2001, pp. 405-423 [PDF file]

 

2000

 

  • Andreas Behrend: Query Optimization Using Multiple SIP Strategies, Proceedings 12th GI-Workshop "Grundlagen von Datenbanken" , Plön, Juni 2000, Christian-Albrechts-Universität Kiel,  Institut für Informatik und Praktische Mathematik, Report 2005, pp. 1-5 [PDF file (141 kB)]

  • Andreas Behrend: A Dynamic Approach to Deductive Query Evaluation, Proceedings 15th Workshop Logische Programmierung (WLP'00),  Berlin, August 2000, GMD-Report 110, pp. 99-112 [PDF file (269 kB)] 

 

1998

 

  • Rainer Manthey: Schach-Datenbanken - eine interessante Anwendung regelbasierter DB-Techniken?, Proceedings 10th GI-Workshop "Grundlagen von Datenbanken", Konstanzer Schriften in Mathematik und Informatik 63, Universität Konstanz 1998, pp. 87-88 [PDF file]

 

1997

 

  • Ulrike Griefahn, Thomas Lemke, and Rainer Manthey: Tools for Chimera: An Environment for Designing and Prototyping Advanced Applications in an Active DOOD Model, Proceedings 1st East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), St.-Petersburg (Russia), September 1997, (10 Seiten) [PDF file]

 

  • Rainer Manthey, Viacheslav Wolfengagen (eds.) Advances in Databases and Information Systems, 1997 Proceedings 1st East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), St.-Petersburg (Russia), September 1997, Springer Electronic Workshops on Computing Series, ISBN 3-540-76227-2

 

  • Rainer Manthey: Deductive Rule Prototyping, Chapter 11 in: S. Ceri, P. Fraternali ''Designing Database Applications with Objects and Rules: The IDEA Methodology'', Addison-Wesley, 1997, pp. 261--280 [PDF file]

  • Thomas Lemke, Rainer Manthey: A Formal Framework for the Implementation and Evolution of DOOD Schemas, Working Paper IDEA.WP.22.O.014, ESPRIT Project 6333 (IDEA), May 1997 (23 pages) [PDF file

 

  • Thomas Lemke, Rainer Manthey: The Passive Rule Design Tool: Tool Documentation, Technical Report IDEA.DE.22.O.010, ESPRIT Project 6333 (IDEA), March 1997 (26 pages) [PDF file

 

  • Ulrike Griefahn: Propagation Rule Compiler: Evaluation, Technical Report IDEA.DE.22.O.009, ESPRIT Project 6333 (IDEA), March 1997 (32 pages) [PDF file]

 

  • Thomas Lemke, Rainer Manthey: CPT/OnLine: Accessing Chimera Databases via the World Wide Web, Deliverable IDEA.DE.22.O.011, ESPRIT Project 6333 (IDEA), March 1997. (22 pages) [PDF file]

 

1996

 

  • Francois Bry, Rainer Manthey, and Heribert Schütz: Deduktive Datenbanken, in: "Künstliche Intelligenz'', 3/1996, pp. 17-23
    also as:  Forschungsbericht PMS-FB-1995-1, Ludwig-Maximilians-Universität München, Institut für Informatik, September 1996, 16 pages [PDF file]

 

  • Ulrike Griefahn, Thomas Lemke, Rainer Manthey: Chimera Prototyping Tool: User Manual , Technical Report IDEA.DE.22.O.006, ESPRIT Project 6333 (IDEA), May 1996 (53 pages) [PDF file

 

  • Ulrich Daugs, Ulrike Griefahn, Thomas Lemke: Status of the Bonn Tool Environment , Working Paper IDEA.WP.22.O.005, ESPRIT Project 6333 (IDEA), December 1996  (14 pages)  [View PostScript file (gzipped, 523 kB)]

 

  • Ulrike Griefahn, Thomas Lemke: Implementing Chimera on Top of an Active Relational Database System, Technical Report IAI-TR-96-6, University of Bonn, Department of Computer Science III, July 1996. (98 pages)
    also issued as: Technical Report IDEA.DE.22.O.007, ESPRIT Project 6333 (IDEA), December 1996  [PDF file]

 

  • Ulrike Griefahn, Thomas Rath: Propagation Rule Compiler: Technical Documentation Technical report IAI-TR-96-7, University of Bonn, Department of Computer Science III, July 1996.
    also issued as: Technical Report IDEA.DE.22.O.005, ESPRIT Project 6333 (IDEA), February 1997. [PDF file]

 

  • Thomas Lemke: The Schema Evolution Assistant: Tool Documentation,  Deliverable IDEA.DE.22.O.008, ESPRIT Project 6333 (IDEA), December 1996. (37 pages) 

 

1995

 

  • Ulrike Griefahn, Rainer Manthey: Propagation Rule Compiler: Tool Description, Technical Report IDEA.DE.22.O.003, ESPRIT Project 6333 (IDEA), December 1995 (43 pages) [PDF file]

  • Thomas Lemke, Rainer Manthey: The Schema Evolution Assistant: Tool Description, Technical Report IDEA.DE.22.O.004, ESPRIT Project 6333 (IDEA), November 1995 (43 pages) [PDF file]

  • Francois Bry and Rainer Manthey: Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser, Proceedings 11. Workshop Logische Programmierung, Vienna (Austria), September 1995, GMD-Studien 270, pp. 205-216
    also as:  Forschungsbericht PMS-FB-1995-2, Ludwig-Maximilians-Universität München, Institut für Informatik, September 1995 [PDF file]

 

  • Thomas Lemke: DDL = DML? An Exercise in Reflective Schema Management for Chimera, Working Paper IDEA.WP.22.O.003, ESPRIT Project 6333 (IDEA), March 1995. (28 pages)  [PDF file]

  • Ulrike Griefahn: First Specification of Phoenix, an Active Database Programming Language, Technical Report IAI-TR-95-4, University of Bonn, Department of Computer Science III, January 1995 (75 pages) [PDF file]

 

1994

 

  • Rainer Manthey: Datalog and Beyond: A ''Gentle'' Introduction to Research in Deductive Databases, Proceedings 14th National Database Seminar (DATASEM'94), Brno (Czech Republic), October 1994, CS-COMPEX, ISBN 80-900047-9-2, pp. 287-302 [PDF file]

 

  • Stefano Ceri and Rainer Manthey: Chimera: A Model and Language for Active DOOD Systems ,Proceedings 2nd International East/West Database Workshop, Klagenfurt (Austria), September 1994, published in Springer Workshops in Computing Series, 1995, pp. 3-16 [PDF file

 

  • Rainer Manthey: Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation, Proceedings 5th International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), Aiguablava, Spain, September 1994, pp. 255-276
    also issued as: Technical Report IAI-TR-94-5, Institut für Informatik III, Universität  Bonn [PDF file]

 

  • Ulrike Griefahn and Rainer Manthey: Update Propagation in Chimera, an Active DOOD Language, Proceedings 5th International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), Aiguablava, Spain, September 1994, pp. 277-298
    also issued as: Technical Report IAI-TR-94-4, Institut für Informatik III, Universität Bonn,
    and as: Technical Report IDEA.WP.22.O.001, ESPRIT Project 6333 (IDEA) [PDF file

 

  • Rainer Manthey: Active and passive rules in database systems: How do they relate? , Proceedings 1st International Workshop on Advances in Databases and Information Systems (ADBIS'94), Moscow (Russia), June 1994 (17 pages)  [PDF file]

 

  • Susanne Deiters and Ulrike Griefahn: Propagation Rule Compiler: Tool Specification , Technical Report IDEA.DE.22.O.001, ESPRIT Project 6333 (IDEA), November 1994. (20 pages)

 

  • Thomas Lemke: Schema Evolution in OODBMS: A Selective Overview of Problems and Solutions, Working Paper IDEA.WP.22.O.002, ESPRIT Project 6333 (IDEA), September 1994. (22 pages)

 

  • Thomas Lemke: The Schema Evolution Assistant: Tool Specification, IDEA deliverable IDEA.DE.22.O.002, November 1994. (26 pages)

 

1993

 

  • Rainer Manthey: Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database Systems (invited paper), Proceedings 3rd International Conference on Deductive and Object-Oriented Databases (DOOD'93), Phoenix/Arizona (USA), December 1993, Springer LNCS 760, pp. 328--339 [PDF file]

  • Stefano Ceri, Rainer Manthey: Consolidated Specification of Chimera (CM and CL), Technical Report IDEA.DE.2P.006.01, ESPRIT Project 6333 (IDEA), November 1993, (86 Seiten) [PDF file]

  • Rainer Manthey: PROLOG + Datenbanken = deduktive Datenbanken? (Abstract of an invited presentation), Proceedings 9th Workshop Logische Programmierung (WLP'93), Hagen, October 1993, Fernuni Hagen, Informatik-Berichte 146-10/1993, p.6 [PDF file]

 

1992 

 

  • Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey: EKS-V1: A User Guide, European Computer Industry Research Centre (ECRC), Munich, Technical Report TR-KB-33, September 1991, 48 pages [PDF file]

  • Rainer Manthey: Towards a Unified View of Query- and Update-driven Inference in Deductive Databases (Extended Abstract), Proceedings 2nd International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'91), Aiguablava, Spain, September 1991, pp. 220-224 [PDF file]

  • Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey: An Overview of the EKS-V1 System, Proceedings 3rd International Conference on Logic Programming and Automated Reasoning (LPAR'92), St. Petersburg (Russia), July 1992, Springer LNCS 624, pp. 504-506 [PDF file]

  • Udo Lipeck, Rainer Manthey (eds.): Proceedings 4th GI-Workshop “Grundlagen von Datenbanken”, Barsinghausen, June 1992, European Computer Industry Research Centre (ECRC), Munich,  Technical Report TR-92-13

  • Rainer Manthey: Update-driven Inference in Deductive Databases (Extended Abstract), Proceedings 1st Compulog Net Meeting on Knowledge Bases (CNKBS'92), G. Comyn, M. Jarke, S. Sripada (eds.), Munich, February 1992, ECRC Technical Report 92-2, pp. 1-6 [PDF file]

 

1991

 

  • Rainer Manthey: Programming with Knowledge Repositories: A Database Perspective for Intelligent Systems, Proceedings 2nd International Workshop on Intelligent and Cooperative Information Systems, Como (Italy), Oktober 1991, pp. 50--54 [PDF file

 

  • Francois Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases,  Proceedings 2nd Russian Logic Programming Conference (LPAR'91), St. Petersburg, September 1991, Springer LNAI 592, pp. 114--139 [PDF file]

 

  • Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey: An Overview of the EKS-V1 System, European Computer Industry Research Centre (ECRC), Munich, Technical Report TR-KB-38, August 1991, 19 pages [PDF file]

 

  • Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey: Documentation of EKS-V1, European Computer Industry Research Centre (ECRC), Munich, Technical Report TR-KB-36, July 1991, 85 pages [PDF file]

1990

 

  • Rainer Manthey: Declarative languages -- paradigm of the past, or challenge for the future?, J.W. Schmidt, A.A. Stogny (eds..): Next Generation Information System Technology, Proceedings 1st East/West Database Workshop, Kiev (Ukraine), October 1990, Springer LNCS 504, pp. 1--16 [PDF file]

  • Rainer Manthey: Satisfiability of Integrity Constraints: Reflections on a Neglected Problem, Proceedings 2nd Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria), September 1990, pp. 169--179 [PDF file

 

  • Rainer Manthey: Zur Integration deduktiver und objektorientierter Konzepte in KBL, Proceedings 2nd GI-Workshop "Grundlagen von Datenbanken", Volkse, Juni 1990, TU Braunschweig, Informatik-Bericht 90-02,  pp. 66-68 [PDF file]

  • Rainer Manthey: Integrity and recursion: two key issues in deductive databases, D. Karagiannis (ed.): Information Systems and Artificial Intelligence: Integration Aspects, Proceedings 1st GI DB/AI-Workshop, Ulm, March 1990, Springer LNCS 474, pp. 104--126 [PDF file

 

1989

 

  • Rainer Manthey, Herve Gallaire, and Jean-Marie Nicolas: Can we reach a uniform paradigm for deductive query evaluation? Proceedings 3. Internationaler GI-Kongres "Wissensbasierte Systeme'', München, October 1989, Springer Informatik-Fachberichte 227, pp. 17--32 [PDF file]

 

  • Rainer Manthey:  Methoden zur Spezialisierung von Integritätsbedingungen in deduktiven Datenbanken (Abstract) Proceedings 1st GI-Workshop "Grundlagen von Datenbanken", Volkse, May 1989, TU Braunschweig, Informatik-Bericht 89-02,  2 pages [PDF file]

  • Volker Küchenhoff, Rainer Manthey, Mark Wallace: KBL: design proposal for a conceptual language of EKS European Computer Industry Research Centre (ECRC), Munich, Technical Report TR-KB-29, January 1989, revised 1991, 63 pages [PDF file]

 

1988

 

  • Johann-Christoph Freytag, Rainer Manthey, and Mark Wallace: Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic Programming Environment , Proceedings 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein, September 1988, Springer LNCS 343, pp. 204--208 [PDF file]

  •  Rainer Manthey and Francois Bry: SATCHMO: A Theorem Prover Implemented in Prolog, Proceedings 9th International Conference on Automated Deduction (CADE'88), Argonne/Illinois, USA, May 1988, Springer LNCS 310, pp. 415--434 [PDF file]

  • Francois Bry, Hendrik Decker, and Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases,  Proceedings 1st International Conference on Extending Data Base Technology (EDBT'88), Venice, March 1988, Springer LNCS 303, pp. 488--505 [PDF file]

 

1987

 

  • Francois Bry, Rainer Manthey: Proving Finite Satisfiability of Deductive Databases,  Proceedings 1st Workshop on Computer Science Logic (CSL’87), Karlsruhe, October 1987, Springer LNCS 329, pp. 44-55 [PDF File]

  • Rainer Manthey and Francois Bry: A Hyperresolution-Based Proof Procedure and its Implementation in Prolog Proceedings 11th German Workshop on Artificial Intelligence (GWAI'87), Geseke, September 1987, Springer Informatik-Fachberichte 152, pp. 221--230 [PDF File]

 

1986

 

  • Francois Bry and Rainer Manthey: Checking Consistency of Database Constraints: A Logical Basis,  Proceedings 12th International Conference on Very Large Data Bases (VLDB'86), Kyoto (Japan), August 1986, pp. 13--20 [PDF file]

  • Francois Bry and Rainer Manthey: Sur la Validite des Schemas de Bases de Donnees, Compte-rendus 2emes Journees Bases de Donnees Avancees, Giens (France), April 1986, pp. 89--108 [PDF file]

1985

 

  • Francois Bry, Rainer Manthey: Detecting Consistency of Database Rules by Adapting Theorem Proving Methods, European Computer Industry Research Centre (ECRC), Munich, Technical Report TR-KB-8, November 1985, 26 pages [PDF file]

  • Rainer Manthey: A Computer-Aided System for DB Schema Design,  European Computer Industry Research Centre (ECRC), Munich, Technical Report TR-KB-1, February 1985, 32 pages [PDF file]


1982 

 

  • Rainer Manthey, Peter Kandzia: A formal basis for implicit semantical navigation in entity-relationship query languages, Proceedings International Workshop on Logical Bases for Databases, Toulouse (France), December 1982, ONERA-CERT (DER-Informatique), 30 pages [PDF file]

1980

 

  • Rainer Manthey: Kopierregelsemantik für eine ALGOL-ähnliche Sprache mit Prozedurvariablen, Proceedings Kolloquium „Denotationelle und Kopierregel-Semantik“, Christian-Albrechts-Universität Kiel, Institut f. Informatik und Praktische Mathematik, Tannenfelde, December 1980, 24 pages [PDF file]

 

Document Actions