Results 1 - 10 of 224

Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases

by Joan A. Pastor - III International Workshop on the Deductive Approach to Information Systems and Databases , 1992
"... We propose a new method for generating transaction specifications for (view-)updates in relational databases that are guaranteed to preserve integrity constraints. The method augments the relational database with a set of transition and events rules, which explicitly define the insertions and deleti ..."
Abstract - Cited by 5 (4 self) - Add to MetaCart
We propose a new method for generating transaction specifications for (view-)updates in relational databases that are guaranteed to preserve integrity constraints. The method augments the relational database with a set of transition and events rules, which explicitly define the insertions

Security Constraint Processing During the Update Operation

by Marie Collins , William Ford , Bhavani Thuraisingham - in a MLS DBMS. Proc. 7th Annual Computer Security Applications Conf. (ACSAC'91). IEEE Computer
"... ABSTRACT In a multilevel secure database management system (MLSDBMS). users cleared at different security levels access and share a database consisting of data at different sensitivity levels. A powerful and dynamic approach to assigning sensitivity levels (also called security levels) to data is o ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
special form of integrity constraints enforced in a MLSDBMS. As such, they can be handled during query processing, during database updates, or during database design. We then describe in detail the design and implementation of a secure update processor which handles security constraints in a multilevel

Implementing Temporal Integrity Constraints Using an Active DBMS

by David Toman, Jan Chomicki - IEEE Transactions on Knowledge and Data Engineering , 1994
"... The system presented in this paper allows automatic and efficient translation of integrity constraints formulated in past temporal logic into rules of the Starburst DBMS. During the compilation the set of constraints is checked for the safe evaluation property. The result of the compilation is a se ..."
Abstract - Cited by 42 (12 self) - Add to MetaCart
set of Starburst SQL statements that define all the necessary rules needed for enforcing the given constraints. There is no need for an additional runtime constraint monitor. When the rules are activated, all updates to the database that violate any of the constraints are automatically rejected (i

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
, proposed in my trilogy The Information Age: Economy, Society, and Culture (see the updated, and revised 'New Millennium edition' of this work: Castells 2000a). Since, in my view, theor y is simply a research tool, and not the end product of research, the purpose of this exercise is to help

A formal Method for the Synthesis of Update Transactions in Deductive Databases without Existential Rules

by Joan A. Pastor , 1994
"... We propose a new method for generating consistency-preserving transaction programs for (view-)updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a dat ..."
Abstract - Cited by 3 (3 self) - Add to MetaCart
database update. At transaction-design-time, a formal procedure can use these rules to automatically generate parameterised transaction programs for base or view-update transaction requests. This is done in such a way that those transactions will never take the database into an inconsistent state

Integrity Enforcement in Relational Systems with Active and Deductive Capabilities

by Laura Mota-herranz, Politécnica De Valencia, Matilde Celma-giménez, Politécnica De Valencia
"... In this paper, we propose a method for integrity enforce-ment in relational databases with view definition. The method uses the production rule mechanism provided by active database systems. It generates a set of rules at schema specification time; this set of rules repairs the in-consistency produc ..."
Abstract - Add to MetaCart
In this paper, we propose a method for integrity enforce-ment in relational databases with view definition. The method uses the production rule mechanism provided by active database systems. It generates a set of rules at schema specification time; this set of rules repairs the in-consistency

Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases

by Joan A. Pastor - in Proc. of the 5th Int. Workshop on the Deductive Approach to Information Systems and Databases, Catalonia , 1994
"... We propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a dat ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
database update. At transaction-design-time, a formal procedure can use these rules to automatically generate parameterised transaction programs for base or view-update transaction requests. This is done in such a way that those transactions will never take the database into an inconsistent state

A Rule-Based Update Language For Complex Objects With Identity

by Luigi Palopoli, Riccardo Torlone , 1994
"... This paper deals with the definition of a rule-based update language for complex object databases. Several update operators are introduced, which correspond to basic manipulations of data entities with object identity. These operators can be used in rule bodies for specifying complex update transact ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
of integrity constraints is illustrated. Keywords: Complex objects, Update operations, Logic-based languages for databases, Integrity constraint management. 1 Introduction In the last years a great deal of attention focused on studying, designing and implementing new generation database systems overcoming

Database Object Creation Subject to Constraint Rules Using a Constraint Logic Search Engine

by Suzanne M. Embury, Peter M. D. Gray , 1995
"... The P/FDM object database is based on a semantic data model in which stored data is integrated with derived data which is computed by Prolog rules retrieved from the class descriptors stored in the database. These rules may also be inherited. They are generated from declarative definitions expres ..."
Abstract - Add to MetaCart
expressed in the functional data language Daplex. Other Prolog rules are generated from integrity constraints expressed as invariant Daplex expressions, and these rules are triggered by relevant updates, and used to check semantic integrity. We are interested in using complex updates as part of design

Formalising Existential Rule Treatment in the Automatic Synthesis of Update Transactions in Deductive Databases

by Joan Pastor , 1994
"... We propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and internal events rules, which explicitly define the database dynamic behaviour in front of a dat ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
database update. At transaction-design-time, a formal procedure can use these rules to automatically generate parameterised transaction programs for base or view-update transaction requests. This is done in such a way that those transactions will never take the database into an inconsistent state
Results 1 - 10 of 224