Formal verification of information derivability in databases using precedence analysis

✍ Scribed by Antoni Olivé; Fèlix Saltor

• Book ID: 107953337
• Publisher: Elsevier Science
• Year: 1982
• Tongue: English
• Weight: 898 KB
• Volume: 7
• Category: Article
• ISSN: 0959-2954
• DOI: 10.1016/0306-4379(82)90012-6