In der Informatik ist Gebiet Verwandtschaftsrechnung (DRC) eine Rechnung, die von Michel Lacroix und Alain Pirotte als eine Aussagedatenbankanfragensprache für das Verwandtschaftsdatenmodell eingeführt wurde.

In DRC haben Abfragen die Form:

:

wo jeder X entweder ein Gebiet variabel oder unveränderlich ist, und eine DRC Formel anzeigt. Das Ergebnis der Abfrage ist der Satz von Tupeln X zu X, der die DRC Formel wahr macht.

Diese Sprache verwendet dieselben Maschinenbediener wie Tupel-Rechnung,

die logischen Bindewörter ∧ (und), ∨ (oder) und ¬ (nicht). Der existenzielle quantifier (&exist) und der universale quantifier (&forall) kann verwendet werden, um die Variablen zu binden.

Sein rechenbetontes Ausdrucksvolles ist zu dieser der Verwandtschaftsalgebra gleichwertig.

Beispiele

Lassen Sie (A, B, C) bösartig (Reihe, Name, Idaho)

und (D, E, F) um (Name, DeptName, Idaho) zu bedeuten

Finden Sie alle Kapitäne des starship Vereinigte Staaten Schiffes Enterprise:

In diesem Beispiel, A, B, zeigt C sowohl den Ergebnis-Satz als auch einen Satz im Tabellenunternehmen an.

Finden Sie Namen von Unternehmensbesatzungsmitgliedern, die im Sternkartenzeichnen sind:

\begin {richten }\aus

\{Besteht {\\left\langle B \right\rangle} & \mid {\\A, C \\left\langle A, B, C \right\rangle \in \mathrm {Unternehmen}} \\

& \land \{\\besteht D, E, F \\left\langle D, E, F \right\rangle \in \mathrm {Abteilungen}} \\

& \land \F = C \\land \E = \mathrm {stellar \Kartenzeichnen} \} \\

\end {richten} </Mathematik> {aus}

In diesem Beispiel suchen wir nur nach dem Namen, und es ist B. F = ist C eine Voraussetzung, weil wir finden müssen, dass Unternehmensbesatzungsmitglieder UND sie in der Sternkartenzeichnen-Abteilung sind.

Eine abwechselnde Darstellung des vorherigen Beispiels würde sein:

In diesem Beispiel wird der Wert des gebetenen F Gebiets in die Formel direkt gelegt, und die C Bereichsvariable wird in der Abfrage für die Existenz einer Abteilung wiederverwendet, da es bereits einen id eines Besatzungsmitgliedes hält.

Siehe auch

• Verwandtschaftsalgebra
• Verwandtschaftsrechnung
• Tupel Verwandtschaftsrechnung (TRC)
• Aldat Verwandtschaftsalgebra
• Bereichsalgebra