Selected Publications - Knowledge-Based Systems and Logic Programming

2020

 

• D. Weidner, M. Atzmueller, D. Seipel:
  Finding Maximal Non-Redundant Association Rules in Tennis Data.
  Revised Selected Papers of the International Conference on Declarative Programming (Declare), 2020. Springer LNAI 12057, 2020, pp. 59-78.

2019

 

• M. Atzmueller, C. Guven, D. Seipel:
  Towards Generating Explanations for ASP-Based Link Analysis
  using Declarative Program Transformations.
  Proc. International Conference on Declarative Programming (Declare), 2019.

   

• D. Weidner, M. Atzmueller, D. Seipel:
  Finding Maximal Non-Redundant Association Rules in Tennis Data.
  Proc. International Conference on Declarative Programming (Declare), 2019.

   

• F. Nogatz, D. Seipel, S. Abreu:
  Definite Clause Grammars with Parse Trees: Extension for Prolog.
  Proc. 8th Symposium on Languages, Applications and Technologies (SLATE 2019).

   

• F. Nogatz, J. Kübert, D. Seipel, S. Abreu:
  Alexa, How Can I Reason with Prolog? (Short Paper)
  Proc. 8th Symposium on Languages, Applications and Technologies (SLATE 2019).

2018

 

• F. Nogatz, J. Kalkus, D. Seipel:
  Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters - System Description. Proc. 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018).

   

• S. Bodenlos, D. Weidner, D. Seipel:
  PyPlC - Towards a Prolog Database Connectivity for Python.
  Proc. International Workshop on Logic Programming (WLP 2018).

   

• F. Nogatz, T. Frühwirth, D. Seipel:
  CHR.js: A CHR Implementation in JavaScript.
  Proc. 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Springer, LNCS 11092.

   

• H. Kayal, O. Balagurin, K. Djebko, G. Fellinger, F. Puppe, D. Seipel, S. Serdar, T. Schwarz, H. Wojtkowiak:
  Next Level Autonomous Nanosatellite Operations.
  Proc. 15th International Conference on Space Operations (SpaceOps 2018), Marseille, France, 2018.

   

• D. Seipel, M. Hanus, S. Abreu (Eds.):
  Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018.

2017

• D. Seipel, F. Nogatz, S. Abreu:
  Domain-Specific Languages in Prolog for Declarative Expert Knowledge in Rules and Ontologies.
  Journal of Computer Languages, Systems and Structures (Comlan), 2017.

   

• H. Kayal, D. Seipel, S. Serdar:
  A High-Level Decision Support System for Nanosatellites.
  Proc. 68th International Astronautical Congress (IAC), Adelaide, Australia, 2017.

   

• F. Nogatz, J. Kalkus, D. Seipel:
  Declarative XML Schema Validation with SWI-Prolog - System Description.
  Proc. International Workshop on Logic Programming (WLP)
  at the Conference on Declarative Programming (Declare), 2017.

2016

• D. Seipel, R. von der Weth, S. Abreu, F. Nogatz, A. Werner:
  Declarative Rules for Annotated Expert Knowledge in Change Management.
  Proc. 5th Symposium on Languages, Applications and Technologies (SLATE 2016).

   

• R. von der Weth, D. Seipel, K. Schubach, F. Nogatz, A. Werner:
  Modellierung von Handlungswissen aus fragmentiertem und heterogenem Rohdatenmaterial durch inkrementelle Verfeinerung in einem Regelbanksystem.
  Journal Psychologie des Alltagshandelns.

   

• F. Flederer, L. Ostermayer, D. Seipel, S. Montenegro:
  Source Code Verification for Embedded Systems using Prolog.
  Proc. International Workshop on Logic Programming (WLP 2016).

   

• F. Nogatz, D. Seipel:
  GraphQL as a Query Language for Deductive Databases.
  Proc. International Workshop on Logic Programming (WLP 2016).

2015

• D. Seipel:
  Knowledge Engineering for Hybrid Deductive Databases.
  Proc. International Workshop on Logic Programming (WLP 2015).

2014

• J. Minker, D. Seipel, C. Zaniolo:
  Logic and Databases: A History of Deductive Databases.
  Handbook of the History of Logic, Volume 9: Computational Logic, 2014.

   

• D. Seipel, J. Baumeister, K. Prätor:
  Declarative Evaluation of Ontologies with Rules.
  Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014).

   

• L. Ostermayer, F. Flederer, D. Seipel:
  PPI - A Portable Prolog Interface for Java.
  Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014).

   

• L. Ostermayer, F. Flederer, D. Seipel:
  CAPJA - A Connector Architecture for Prolog and Java.
  Proc. Workshop on Knowledge Engineering and Software Engineering (KESE 2014).

2013

• D. Seipel, L. Borek:
  Vielfalt alignieren: ein halbautomatisches Werkzeug zum Erschließen varianter Lemmata in elektronischen Wörterbüchern.
  OPAL X/2013.

   

• L. Ostermayer, G. Sun, D. Seipel:
  Simplifying the Development of Rules Using Domain Specific Languages in Drools.
  Proc. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013).

   

• L. Ostermayer, D. Seipel:
  A Prolog Framework for Integrating Business Rules into Java Applications.
  Proc. Workshop on Knowledge Engineering and Software Engineering (KESE 2013).

2012

• C. Schneiker, D. Seipel:
  Declarative Web Programming with Prolog and XUL.
  Proc. 26th Workshop on Logic Programming (WLP 2012).

   

• L. Ostermayer, D. Seipel:
  Knowledge Engineering for Business Rules in Prolog.
  Proc. 26th Workshop on Logic Programming (WLP 2012).

   

• D. Seipel, P. Neubeck, S. Köhler, M. Atzmueller:
  Mining Complex Event Patterns in Computer Networks.
  Proc. Workshop on New Frontiers in Mining Complex Patterns (NFMCP)
  at the European Conference on Machine Learning and Principles and Practice
  of Knowledge Discovery in Databases (ECML PKDD 2012).

   

• D. Seipel, O. Kovalchuck, T. Dandekar:
  Drug Design with Answer Set Programming.
  Proc. International Symposium on Grids and Clouds (ISGC 2012).

   

• D. Seipel, L. Borek:
  A Tool for Collaborative Rule-Based Morpheme Annotation.
  Proc. International Symposium on Grids and Clouds (ISGC 2012).

2011

• D. Seipel, W. Wegstein:
  metaDictionary - Towards a Generic e-Infrastructure for Detecting Variance in Language by Exploiting Dictionary Information.
  Proc. International Symposium on Grids and Clouds (ISGC 2011).

2010

• J.Baumeister, D. Seipel:
  Anomalies in Ontologies with Rules..
  Journal of Web Semantics: Science, Services and Agents on the World Wide Web 8 (2010), No. 1, pp. 55-68.

   

• C. Schneiker, M.M. Khamis, D. Seipel:
  Prolog Server Faces - A Declarative Framework for Dynamic Web Pages.
  Proc. 24th Workshop on (Constraint) Logic Programming (WLP 2010).

2009

• D. Seipel, A. Boehm, M. Fröhlich:
  Jsquash: Source Code Analysis of Embedded Database Applications for Determining SQL Statements.
  Proc. 18th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2009).

   

• D. Seipel, J. Schultz:
  Searching in Protein State Space.
  Proc. 18th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2009).

   

• D. Seipel:
  Practical Applications of Extended Deductive Databases in Datalog^s.
  Proc. 23rd Workshop on Logic Programming (WLP 2009).

   

• C. Schneiker, D. Seipel, W. Wegstein:
  Schema and Variation: Retro-Digitizing Printed Dictionaries.
  Proc. Third Linguistic Annotation Workshop (LAW III), 2009,
  held in conjunction with the Joint Conference of the 47th Annual Meeting of the Association for Computational Linguistics and
  the 4th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing (ACL-IJCNLP 2009).

   

• C. Schneiker, D. Seipel, W. Wegstein, K. Prätor:
  Declarative Parsing and Annotation of Electronic Dictionaries.
  Proc. 6th International Workshop on Natural Language Processing and Cognitive Science (NLPCS 2009).

   

• J. Baumeister, D. Seipel, F. Puppe:
  Agile Development of Rule Systems.
  In: Giurca; Gasevic & Taveter (Eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Publishing, 2009.

2008

• M. Viermetz, M. Skubacz, C.-N. Ziegler, D. Seipel:
  Tracking Topic Evolution in News Environments.
  Proc. 10th IEEE International Conference on E-Commerce Technology (CEC 2008) /
  5th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2008), pp. 215-220, IEEE, 2008.

   

• D. Seipel, J. Baumeister:
  Declarative Specification and Interpretation of Rule-Based Systems.
  Proc. 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS 2008), AAAI Press, 2008.

2007

• M. Atzmueller, D. Seipel:
  Declarative Specification of Ontological Domain Knowledge for Descriptive Data Mining.
  Proc. 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007).

   

• A. Böhm, D. Seipel, A. Sickmann, M. Wetzka:
  Squash: A Tool for Designing, Analyzing and Refactoring Relational Database Applications.
  Proc. 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007).

   

• J. Baumeister, T. Kleemann, D. Seipel:
  Towards the Verification of Ontologies with Rules.
  Proc. 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007), AAAI Press, 2007.

2006

• J. Baumeister, D. Seipel:
  Verification and Refactoring of Ontologies with Rules.
  Proc. of the 15th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2006), LNAI 4248, pp. 82-95, Springer, 2006.

   

• A. Böhm, M. Wetzka, A. Sickmann, D. Seipel:
  A Tool for Analyzing and Tuning Relational Database Applications: SQL Query Analyzer and Schema EnHancer (SQUASH).
  Workshop Grundlagen von Datenbanken 2006, pp. 45-49, 2006.

   

• T. Janhunen, I. Niemelä, D. Seipel, P. Simons, J. You:
  Unfolding Partiality and Disjunctions in Stable Model Semantics.
  ACM Transactions on Computational Logic, vol. 7(1), pp. 1-37, 2006.

2005

• A. Böhm, M. Wetzka, A. Sickmann, D. Seipel:
  A Tool for Analyzing and Tuning Biological Relational Database Systems: SQL Query Analyzer and Schema EnHancer (SQUASH).
  Herbsttagung der Gesellschaft für Biochemie und Molekularbiologie eV (GBM 2005), 2005.

   

• G. Buscher, J. Baumeister, F. Puppe, D. Seipel:
  User-Centered Consultation by a Society of Agents.
  Proc. 3rd International Conference on Knowledge Capture (K-CAP 2005), 2005.

   

• J. Baumeister, D. Seipel:
  Smelly Owls - Design Anomalies in Ontologies.
  Proc. 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2005), AAAI Press, 2005.

   

• J. Baumeister, D. Seipel:
  Anfragesprachen für das Semantic Web.
  Aktuelles Schlagwort im Informatik-Spektrum, 28 (1), pp. 40-44, Springer, 2005.

   

• D. Seipel, K. Prätor:
  XML Transformations Based on Logic Programming.
  Proc. 19th Workshop on Logic Programming (WLP 2005), pp. 5-16, 2005.

   

• M. Hopfner, D. Seipel, J. Baumeister:
  A Prolog Tool for Slicing Source Code.
  Proc. 19th Workshop on Logic Programming (WLP 2005), pp. 17-28, 2005.

   

• D. Seipel, J. Baumeister, M. Hopfner:
  Declaratively Querying and Visualizing Knowledge Bases in XML.
  Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), Springer LNAI 3392, 2005, pp. 16-31.

2004

• B. Heumesser, A. Ludwig, D. Seipel:
  Web Services based on Prolog and XML.
  Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), Springer LNAI 3392, 2005, pp. 245-257.

   

• J. Baumeister, D. Seipel, F. Puppe:
  Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems.
  Proc. 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004), AAAI Press, 2004.

   

• D. Seipel, J. Baumeister:
  Declarative Methods for the Evaluation of Ontologies.
  KI 4/2004, pp. 51-57, 2004.

   

• V. Wahler, D. Seipel, J. Wolff von Gudenberg, G. Fischer:
  Clone Detection in Source Code by Frequent Itemset Techniques.
  Proc. Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), pp. 128-135, 2004.

   

• J. Baumeister, F. Puppe, D. Seipel:
  Refactoring Methods for Knowledge Bases.
  Proc. 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2004), Springer LNAI 3257, pp. 157-171, 2004.

   

• J. Baumeister, D. Seipel, F. Puppe:
  Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems.
  Proc. 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004), AAAI Press, 2004.

   

• J. Baumeister, F. Puppe, D. Seipel:
  An Agile Process Model for Developing Diagnostic Knowledge Systems.
  KI 3/2004: Special Issue on AI and Software Engineering, pp. 12-16, 2004.

   

• V. Gedov, C. Stolz, R. Neuneier, M. Skubacz, D. Seipel:
  Matching Web Site Structure and Content.
  Poster at the International World Wide Web Conference (WWW 2004).

   

• M. Dünßer, R. Lampidis, S. Schmidt, D. Seipel, T. Dandekar:
  Integration of Data in Pathogenomics: Three Layers of Cellular Complexity and an XML-Based Framework.
  Journal of Integrative Bioinformatics, 2004.

2003

• D. Seipel, M. Hopfner, B. Heumesser:
  Analyzing and Visualizing Prolog Programs based on XML Representations.
  Proc. International Workshop on Logic Programming Environments (WLPE 2003), 2003.

   

• M. Hopfner, D. Seipel, J. Wolff von Gudenberg:
  Comprehending and Visualising Software based on XML-Representations and Call Graphs.
  Proc. 11th IEEE International Workshop on Program Comprehension (IWPC 2003), 2003, long version.

   

• M. Hopfner, D. Seipel, J. Wolff von Gudenberg, G. Fischer:
  Reasoning about Source Code in XML-Representation.
  Workshop on Software-Reengineering (WSR 2003), 2003.

   

• B. Heumesser, D. Seipel, R.-D. Schimkat, U. Güntzer:
  An Information System for Retrieving and Reasoning about XML-based Mathematical Knowledge.
  Proc. International Conference on Electronic Information and Communication in Mathematics (EIC 2002), Springer LNCS 2730, 2003, pp. 59-71.

   

• B. Heumesser, D. Seipel, U. Güntzer:
  Flexible Processing of XML-Based Mathematical Knowledge in a Prolog-Environment.
  Proc. International Conference on Mathematical Knowledge Management (MKM 2003), Springer LNCS 2594, 2003, pp. 133-146.

   

• D. Seipel, U. Geske:
  Cardinality Constraints in Disjunctive Deductive Databases.
  in: L. Bertossi, G. Katona, K.-D. Schewe, B. Thalheim (Eds.), Semantics, Springer LNCS 2582, 2003, pp. 179-199.

2002

• J. Minker, D. Seipel:
  Disjunctive Logic Programming: A Survey and Assessment.
  in A. Kakas, F. Sadri (Eds.), Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, Springer, LNAI 2407, 2002, pp. 472-511.

   

• D. Seipel:
  Processing XML-Documents in Prolog.
  Proc. 17th Workshop on Logic Programming (WLP 2002), 2002.

   

• M. Hopfner, D. Seipel:
  Reasoning about Rules in Deductive Databases.
  Proc. 17th Workshop on Logic Programming (WLP 2002), 2002.

   

• J. Baumeister, D. Seipel:
  Diagnostic Reasoning with Multilevel Set-Covering Models.
  Proceedings 13th International Workshop on Principles of Diagnosis (DX 2002), 2002.

2001

• J. Baumeister, D. Seipel, F. Puppe:
  Incremental Development of Diagnostic Set-Covering Models with Therapy Effects.
  Proc. KI'2001 Workshop on Uncertainty in Artificial Intelligence (UAI 2001), 2001, and International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 11, suppl. (November 2003), pp. 25-50.

   

• D. Seipel:
  Using Clausal Deductive Databases for Defining Semantics in Disjunctive Deductive Databases.
  Annals of Mathematics and Artificial Intelligence, vol. 33, Kluwer Academic Publishers, 2001, pp. 347-378.

   

• D. Seipel, U. Geske:
  Solving Cardinality Constraints in (Constraint) Logic Programming.
  Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), 2001.

2000

• D. Seipel, U. Geske:
  Cardinality Constraints in Disjunctive Deductive Databases.
  Proc. International Conference on Applications of Prolog (INAP 2000), 2000.

   

• D. Seipel:
  Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.
  Proc. of the International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2000), Springer LNCS 1762, 2000, pp. 241-259.

1999

• D. Seipel:
  Aggregation in Disjunctive Deductive Databases.
  Proc. International Conference on Applications of Prolog (INAP 1999) and Workshop on Deductive Databases and Logic Programming (DDLP 1999), 1999.

1998

• D. Seipel:
  An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases.
  Proc. Third International Conference on Fexible Query Answering Systems (FQAS 1998), Springer LNAI 1495, 1998, pp. 341-353.

   

• F. Jarre, R. Lepenis, D. Seipel:
  Using Linear and Semi-Definite Programming for Computing Models of Disjunctive Deductive Databases.
  Proc. 13th Workshop on Logic Programming 1998 (WLP 1998).

1997

• D. Seipel:
  Partial Evidential Stable Models For Disjunctive Deductive Databases.
  Proc. Workshop on Logic Programming and Knowledge Representation (LPKR'97) at the International Symposium on Logic Programming 1997 (ILPS 1997), 1997, and Springer LNAI 1471, 1998, pp. 66-84.

   

• D. Seipel, J. Minker, C. Ruiz:
  A Characterization Of The Partial Stable Models For Disjunctive Deductive Databases.
  Proc. International Symposium on Logic Programming 1997 (ILPS 1997), MIT Press, 1997, pp. 245-259. Preliminary Report.

   

• D. Seipel, J. Minker, C. Ruiz:
  Model Generation and State Generation for Disjunctive Logic Programs.
  Technical Report, University of Maryland, 1995, and: Journal of Logic Programming, vol. 32(1), North-Holland, 1997, pp. 48-69.

   

• D. Seipel:
  DisLog - A Disjunctive Deductive Database Prototype.
  Proc. Twelfth Workshop on Logic Programming 1997 (WLP 1997).

1996

• F. Bry, D. Seipel:
  Deduktive Datenbanken.
  Informatik-Spektrum, vol. 19, Springer, 1996.

1995

• D. Seipel, U. Güntzer:
  Mixed Fixpoint Theory for Disjunctive Deductive Databases.
  Proc. Eleventh Workshop on Logic Programming 1995 (WLP 1995), GMD-Studien Nr. 270, 1995, pp. 227-236.

   

• D. Seipel:
  Efficient Reasoning in Disjunctive Deductive Databases.
  Habilitationsschrift, Universität Tübingen, 1995.

1994

• D. Seipel:
  An Efficient Computation of the Extended Generalized Closed-World-Assumption by Support-for-Negation Sets.
  Proc. International Conference on Logic Programming and Automated Reasoning 1994 (LPAR 1994), Springer LNAI 822, 1994, pp. 245-259.

   

• D. Seipel, H. Thöne:
  DisLog - A System for Reasoning in Disjunctive Deductive Databases.
  Proc. International Workshop on the Deductive Approach to Information Systems and Databases 1994 (DAISD 1994).

   

• D. Seipel, H. Thöne:
  An Application of Disjunctive Logic Programming with Incomplete Information.
  Proc. International Conference on Expert Systems for Development 1994 (ICES 1994), pp. 176-181.

   

• D. Seipel:
  Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation.
  Proc. GI-Jahrestagung / IFIP World Computer Congress 1994: Fachgespräch Disjunktive logische Programmierung und disjunktive Datenbanken, Springer, 1994, pp. 53-60.

1993

• D. Seipel:
  Graph-Based Processing of Logic Programs.
  Proc. Workshop on Deductive Databases at the International Conference on Logic Programming 1993 (ICLP 1993), and Journal of Computers and Artificial Intelligence , vol. 13, No. 2-3, 1994, pp. 107-132.

   

• D. Seipel:
  Tree-Based Fixpoint Iteration for Disjunctive Logic Programs.
  Proc. Workshop on Logic Programming with Incomplete Information at the International Symposium on Logic Programming 1993 (ILPS 1993).

   

• D. Seipel, H. Argenton:
  Evaluation Techniques for Disjunctive Logic Programs.
  Proc. Symposium on Operations Research 1993 (SOR 1993), pp. 458-462, Physica-Verlag 1994.

   

• D. Seipel, H. Argenton:
  A Data Structure for Efficient Deduction in Disjunctive Logic Programs.
  Proc. Workshop Logische Programmierung 1993 (WLP 1993).

1992

• D. Seipel, H. Argenton:
  Wavefront Techniques for Recursive Logic Programs.
  Proc. Post-Conference Workshop on Deductive Databases at the Joint International Conference and Symposium on Logic Programming 1992 (JICSLP 1992).

1990

• D. Seipel:
  Decomposition of Linear Recursive Logic Programs.
  Proc. International Workshop on Graph-Theoretic Concepts in Computer Science 1990 (WG 1990), Springer LNCS 484, 1991, pp. 291-310.

1989

• D. Seipel:
  Decomposition in Database and Knowledge-Base Systems.
  PhD Dissertation, 1989.

1988

• D. Seipel:
  A Graph-Based Decomposition Approach for Recursive Query Processing.
  Proc. Intl. Workshop on Graph-Theoretic Concepts in Computer Science 1988 (WG 1988), LNCS 344.

1987

• D. Seipel, D. Ruland:
  Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques.
  Proc. Intl. Workshop on Graph-Theoretic Concepts in Computer Science 1987 (WG 1987), LNCS 314.

   

• D. Ruland, D. Seipel:
  Designing Alpha-Acyclic BCNF-Database Schemes.
  Proc. Mathematical Fundamentals of Database Systems 1987 (MFDBS 1987), LNCS 305.

   

• D. Seipel:
  Designing Gamma-Acyclic Database Schemes by Decomposition and L-Augmentation Techniques.
  Workshop on Relational Databases and their Extensions, Informatik-Bericht 87/3 der TU Clausthal, 1987.

1986

• D. Ruland, D. Seipel:
  Alpha-Acyclic Decompositions of Relational Database Schemes.
  Proc. ACM PODS 1986.

1985

• D. Seipel:
  Entwurf azyklischer BCNF-Datenbankschemata.
  Diploma Thesis, 1985.