THE INFERENCE PROBLEM FOR TEMPLATE DEPENDENCIESGUREVICH Y; LEWIS AR.1982; SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS/1982-03-29/LOS ANGELES CA; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1982; PP. 221-229; BIBL. 10 REF.Conference Paper

A THEOREM IN DATABASE CONCURRENCY CONTROLPAPADIMITRIOU CH.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 4; PP. 998-1006; BIBL. 13 REF.Article

Unterstützung des Schemaentwurfs durch ein Datenbanksystem = Supporter la conception du schéma de bases de données = Supporting the schema design of databasesWEDEKIND, H.Angewandte Informatik. 1984, Vol 26, Num 1, pp 3-11, issn 0013-5704Article

The implication and finite implication problems for typed template dependenciesVARDI, M. Y.Journal of computer and system sciences (Print). 1984, Vol 28, Num 1, pp 3-28, issn 0022-0000Article

Validating database updatesKOBAYASHI, I.Information systems (Oxford). 1984, Vol 9, Num 1, pp 1-17, issn 0306-4379Article

Die Komposition beim Datenbank-Schemaentwurf als Kennzeichnung = La composition comme description définie dans la conception d'un schéma de base de donnée = Composition as definite description in database schema designWEDEKIND, H.Angewandte Informatik. 1985, Vol 27, Num 10, pp 420-423, issn 0013-5704Article

Types abstraits et bases de données : formalisation de la notion de partage et analyse statique des contraintes d'intégrité = Abstract data types and databases: formalization of the notion of partition and static analysis of integrity contraintsSALES, Ana Maria.1984, 210 pThesis

The declarative expression of semantic integrity in a database of protein structureEMBURY, S. M; GRAY, P. M. D.BIWIT : Basque international workshop on information technology. 1995, pp 216-225, isbn 0-8186-7110-6Conference Paper

Specifying integrity constraints in a network DBMSNAVEEN PRAKASH; PARIMALA, N; BOLLOJU, N et al.Computer journal (Print). 1984, Vol 27, Num 3, pp 209-217, issn 0010-4620Article

Cohérence dans les bases de données orientées objet = Coherence in Object Oriented DatabasesPolicella, Pierre-Yves; Doucet, A.1996, 196 p.Thesis

Modeling security-relevant data semanticsSMITH, G. W.IEEE transactions on software engineering. 1991, Vol 17, Num 11, pp 1195-1203, issn 0098-5589Article

From data properties to evidence : Learning and discovery in knowledge-based databasesBELL, D. A.IEEE transactions on knowledge and data engineering. 1993, Vol 5, Num 6, pp 965-969, issn 1041-4347Article

Gambit: an interactive database design tool for data structures, integrity constraints, and transactionsBRAEGGER, R. P; DUDLER, A. M; REBSAMEN, J et al.IEEE transactions on software engineering. 1985, Vol 11, Num 7, pp 574-583, issn 0098-5589Article

Galileo: a strongly-typed, interactive conceptual languageALBANO, A; CARDELLI, L; ORSINI, R et al.ACM transactions on database systems. 1985, Vol 10, Num 2, pp 230-260, issn 0362-5915Article

Les problèmes de vues et d'intégrité dans les bases de données relationnelles et le SGBD relationnel SABRE = The problems of views and integrity in the relational databases and the SABRE relational SGBDTEMMERMAN, Nicole.1984, [373] pThesis

Estimating range queries using aggregate data with integrity constraints : A probabilistic approachBUCCAFURRI, Francesco; FURFARO, Filippo; SACCA, Domenico et al.Lecture notes in computer science. 2001, pp 390-404, issn 0302-9743, isbn 3-540-41456-8Conference Paper

Conception d'applications pour systèmes transactionnels coopérants = Application concept for cooperative transaction systemsBOGO, Gilles.1985, Pagination multThesis

Nondeterministic dependencies in relations: an extention of the concept of functional dependencyHAUX, R; ECKERT, U.Information systems (Oxford). 1985, Vol 10, Num 2, pp 139-148, issn 0306-4379Article

On complexity of updates through integrity constraintsDEKHTYAR, M; DIKOVSKY, A; DUDAKOV, S et al.Lecture notes in computer science. 2000, pp 867-881, issn 0302-9743, isbn 3-540-67797-6Conference Paper

TBE: Trigger-by-exampleDONGWON LEE; WENLEI MAO; CHU, Wesley W et al.Lecture notes in computer science. 2000, pp 112-125, issn 0302-9743, isbn 3-540-41072-4Conference Paper

Design support for database federationsSCHWARZ, K; SCHMITT, I; TÜRKER, C et al.Lecture notes in computer science. 1999, pp 445-459, issn 0302-9743, isbn 3-540-66686-9Conference Paper

Annotated revision programsMAREK, V; PIVKINA, I; TRUSZCZYNSKI, M et al.Lecture notes in computer science. 1999, pp 49-62, issn 0302-9743, isbn 3-540-66749-0Conference Paper

Pushing goal derivation in DLP computationsFABER, W; LEONE, N; PFEIFER, G et al.Lecture notes in computer science. 1999, pp 177-191, issn 0302-9743, isbn 3-540-66749-0Conference Paper

The constructive method for Query Containment checkingFARRE, C; TENIENTE, E; URPI, T et al.Lecture notes in computer science. 1999, pp 583-593, issn 0302-9743, isbn 3-540-66448-3Conference Paper

A methodology and tool for top-down relational database designRISHE, N.Data & knowledge engineering. 1993, Vol 10, Num 3, pp 259-291, issn 0169-023XArticle