Upitni Jezici - kondor.etf.rs

Problem Beskonačne Relacije
Izraz:
{ < x 1 , x 2 , …, x n > | P (x 1 , x 2 , …, x n )}
je siguran ako važi sledeće:
1.Sve vrednosti koje se pojavljuju u torkama izraza su
vrednosti iz dom (P ) (to jest, vrednosti se
pojavljuju u P ili u torki relacije u P ).
2.Za svaku formulu oblika ∃x (P 1 (x )), formula je
istinita ako i samo ako postoji vrednost x u dom(P 1 )
takvo da je P 1 (x ) istinito.
3.Za svaku formulu oblika ∀x (P 1 (x )), formula je
istinita ako i samo ako je P 1 (x ) istinito za sve
vrednosti x iz dom (P 1 ).