Title :
DBFW: a simple database framework for the evaluation and maintenance of automated theorem prover data
Author :
Jakobi, Peter ; Wolf, Andreas
Author_Institution :
Inst. fur Inf., Tech. Univ. Munchen, Germany
Abstract :
Describes a simple, yet generic database implementation framework for medium-sized datasets, as they occur during tests and applications of automated theorem provers. The implementation covers the automatic extraction of database objects from a set of text files, a text-based interface for simple database operations and a tool for document generation. This paper refers to a database of SETHEO proof data as an example. It concludes with the description of DBFW (DataBase FrameWork) as a statistics and usage-feedback component of the interactive proof system ILF (Integrated Logical Functions)
Keywords :
deductive databases; interactive systems; statistical databases; theorem proving; truth maintenance; DBFW; ILF interactive proof system; Integrated Logical Functions; SETHEO proof data; automated theorem prover; automatic object extraction; data evaluation; data maintenance; database implementation framework; database operations; document generation; medium-sized datasets; statistics; text files; text-based interface; usage feedback; Automatic testing; Chaos; Data mining; Databases; Electrical capacitance tomography; Feedback; Libraries; Read only memory; Statistics;
Conference_Titel :
Software Maintenance and Reengineering, 1998. Proceedings of the Second Euromicro Conference on
Conference_Location :
Florence
Print_ISBN :
0-8186-8421-6
DOI :
10.1109/CSMR.1998.665799
