A correlation operator .THETA. provides a way for the results of sub-queries to be correlated. The correlation operator .THETA. has an implied existential quantifier property (i.e., a "for some" property) and is satisfied if any record matches its sub-query. If no record is found that matches the correlation operator .THETA.'s sub-query, then the correlation operator .THETA. query fails. The implicit existential quantifier property of the correlation operator .THETA. can be converted into a universal quantifier property (i.e., a "for all" property) by transformation of the query. The correlation operator .THETA. uses an algebra to resolve into flags attached to appropriate operators in the sub-query. After the correlation operator .THETA. is eliminated from the query, the query can be performed. The operator flags perform the correlation as part of the sub-query. The correlation operator .THETA. can be inserted explicitly by the user if she knows what data she desires to be correlated. Alternatively, the correlation operator can be inserted by the schema automatically to improve the expected results of the query.

Un operatore che di correlazione il THETA. fornisce un senso per i risultati dell'secondario-interroga di per essere correlato. Il THETA. dell'operatore di correlazione ha una proprietà implicita di quantifier existential (cioè, "per una certa" proprietà) ed è soddisfatto se qualunque annotazione abbina il relativo secondario-interroga. Se nessun'annotazione è trovata che fiammiferi che i THETA.'s dell'operatore di correlazione secondario-interrogano, quindi la domanda del THETA. dell'operatore di correlazione viene a mancare. La proprietà implicita di quantifier existential del THETA. dell'operatore di correlazione può essere convertita in proprietà universale di quantifier (cioè, "per tutta la" proprietà) da trasformazione della domanda. Il THETA. dell'operatore di correlazione usa un'algebra per risolvere nelle bandierine fissate agli operatori adatti in secondario-interroga. Dopo il THETA dell'operatore di correlazione. è eliminato dalla domanda, la domanda può essere effettuato. Le bandierine dell'operatore effettuano la correlazione come componente del secondario-interrogano. Il THETA. dell'operatore di correlazione può essere inserito esplicitamente dall'utente se conosce che dati vuole essere correlata. Alternativamente, l'operatore di correlazione può essere inserito automaticamente dallo schema per migliorare i risultati previsti della domanda.