GLOBAL STATES OF A DISTRIBUTED SYSTEMFISCHER MJ; GRIFFETH ND; LYNCH NA et al.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 3; PP. 198-202; BIBL. 4 REF.Article

FREEDOM FROM DEADLOCK OF SAFE LOCKING POLICIESYANNAKAKIS M.1982; SIAM J. COMPUT.; ISSN 0097-5397; USA; DA. 1982; VOL. 11; NO 2; PP. 391-408; BIBL. 17 REF.Article

PROVING CONSISTENCY OF DATABASE TRANSACTIONS WRITTEN IN EXTENDED PASCALGARDARIN G; MELKANOFF M.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 4; PP. 440-445; BIBL. 12 REF.Article

RECOVERY IN DISTRIBUTED PROCESSING SYSTEMSSVOBODOVA L.1982; AGARD CONFERENCE PROCEEDINGS; ISSN 0549-7191; FRA; DA. 1982; NO 303; PP. 18.1-18.9; BIBL. 16 REF.Article

USELESS ACTIONS MAKE A DIFFERENCE: STRICT SERIALIZABILITY OF DATABASE UPDATESSETHI R.1982; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1982; VOL. 29; NO 2; PP. 394-403; BIBL. 12 REF.Article

FORMAL VERIFICATION OF INFORMATION DERIVABILITY IN DATABASES USING PRECEDENCE ANALYSISOLIVE A; SALTOR F.1982; INFORMATION SYSTEMS; ISSN 0306-4379; GBR; DA. 1982; VOL. 7; NO 3; PP. 209-215; BIBL. 20 REF.Article

Database design with user-definable modelling conceptsLOCKEMANN, P. C; MOERKOTTE, G; NEUFELD, A et al.Data & knowledge engineering. 1993, Vol 10, Num 3, pp 229-257, issn 0169-023XArticle