Referential occurrence.

Safe Referential

Referential integrity constraints express in relational databases existence dependencies between tuples. Although it is known that certain referential integrity structures may cause data manipulation problems, the nature of these problems has not been explored and the conditions for avoiding them have not been formally developed. In this paper we examine these data manipulation problems and for...

Referential Nets With Attributes

ODe of the essential problems in natural language production and understanding is the problem of processing referential relations. In this paper I describe a model for representing and processing referential relations: referential nets with attributes. Both processes (analyzing and generating referential expressions) are controlled by attributes. There are two types of attributes, on one hand, ...

Referential logic of proofs

We introduce an extension of the propositional logic of single-conclusion proofs by the second order variables denoting the reference constructors of the type “the formula which is proved by x.” The resulting Logic of Proofs with References, FLPref, is shown to be decidable, and to enjoy soundness and completeness with respect to the intended provability semantics. We show that FLPref provides ...

Referential and Lexical Givenness:

The main objective of the paper is to show that for an adequate analysis of an item’s information status in spoken language two levels of givenness have to be investigated: a referential and a lexical level. This separation is a crucial step towards our goal to arrive at the best possible classification of nominal expressions occurring in natural discourse which reflects our understanding of al...

Avoiding referential ambiguity 1