DEDUCTIVE CATALOG METHOD FOR GENERAL CONSTRAINT TREATMENT IN AN EXTENDED RELATIONAL DATA BASE CONCEPT

摘要

Bei relationalen Datenbankkonzepten leiden Abfrageprozeduren entweder an logisch unvollständigen Abfrageergebnissen, oder mangeln an Ineffizienzen der Abfragezeiten. Die vorliegende Erfindung gibt Verfahren an, wie relationale Datenbanksysteme in ihren allgemeinsten und vollständigsten Konzept in ihren Abfrageverfahren so optimiert werden, dass die Antwortsprozedur eine Effizienzsteigerung in Bezug auf die Geschwindigkeit erfährt, ohne dass strenge logische Bedingungen aufgegeben werden müssten. Um die Abfrageverfahren zu optimieren, werden zulässige Faktenkombinationen auf der Metaebene einer Anwendung im Voraus bereitgestellt, indem die Grundterme bzw. Beziehungen des RDS-Kataloges nach einem neuen Verfahren zur Fixpunktsemantik logisch vervollständigt werden. Das neue Verfahren eignet sich zum Einsatz in relationalen Datenbankanwendungen, bei welchen sowohl effiziente Abfragezeiten, als auch logische Vollständigkeit und Konsistenz durch allgemeine Constraintsbehandlung gefordert werden.