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

fYear

1998

fDate

8-11 Mar 1998

Firstpage

185

Lastpage

188

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Maintenance and Reengineering, 1998. Proceedings of the Second Euromicro Conference on

Conference_Location

Florence

Print_ISBN

0-8186-8421-6

Type

conf

DOI

10.1109/CSMR.1998.665799

Filename

665799