Model relacyjny: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Anulowanie wersji - to jest wtrącenie |
|||
Linia 56:
=== Interpretacja modelu w logice pierwszego rzędu ===
Innym, nieco mniej powszechnym, podejściem jest traktowanie modelu relacyjnego jako [[Struktura matematyczna|modelu]] [[Rachunek predykatów pierwszego rzędu|logiki pierwszego rzędu]].
Niech ''R'' będzie schematem relacji o arności ''n''. '''''Faktem''''' nad ''R'' nazywamy wyrażenie ''R(a<sub>1</sub>, a<sub>2</sub>,..., a<sub>n</sub>)'', gdzie ''a<sub>i</sub> ∈ Dom(A<sub>i</sub>)''. Relacją ''r'' (instancją schematu) nad ''R'' jest skończony zbiór ''faktów'' nad ''R''.
| |||