From post

Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.

, , и . On Knowledge Base Management Systems (Islamorada), стр. 259-286. Springer, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge., и . AMAST, том 1816 из Lecture Notes in Computer Science, стр. 484-498. Springer, (2000)Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases., , и . On Knowledge Base Management Systems (Islamorada), стр. 259-286. Springer, (1985)Formally Specifying Engineering Design Rationale., и . ASE, стр. 317-318. IEEE Computer Society, (1997)Industrial Applications of Software Synthesis via Category Theory., и . ASE, стр. 35-43. IEEE Computer Society, (1999)Test Data Generation and Feasible Path Analysis., , , , и . ISSTA, стр. 95-107. ACM, (1994)Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware., , и . ICSR, том 1844 из Lecture Notes in Computer Science, стр. 58-73. Springer, (2000)Accommodating Exceptions in Databases, and Refining the Schema by Learning from them., и . VLDB, стр. 72-81. Morgan Kaufmann, (1985)Deriving engineering software from requirements., и . J. Intell. Manuf., 11 (1): 3-28 (2000)Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware., , и . Autom. Softw. Eng., 8 (1): 7-30 (2001)