TY - JOUR
T1 - STIRDAT: A system integrating relational databases and a theorem prover.
AU - Rao, Lila
AU - Reichgelt, Han
AU - Reichgelt, Johannes (Han)
N1 - Rao, L. & Reichgelt, H. (2000). STIRDAT: A system integrating relational databases and a theorem prover. Data & Knowledge Engineering, 34, 1-20. doi: 10.1016/S0169-023X(00)00005-7
PY - 2000/1/1
Y1 - 2000/1/1
N2 - There has been a growing awareness of the need to share data and services among autonomous heterogeneous information sources. For obvious reasons, these sources are storing information in ways that meet their own needs and hence in different formats. However, for a combination of information from heterogeneous sources to be truly useful, a user needs to be able to use the shared information without having to learn the particular data format or the locations of the relevant data. This idea can be taken a step further as the importance of combining techniques from various areas in computer science becomes more obvious. There are a number of benefits that can be derived from combining, for example, some of the features of Artificial Intelligence systems, such as logical inference, with those of traditional database systems. This paper describes STIRDAT, a system tightly and transparently integrating data in a number of relational databases stored at different sites with a theorem prover. It provides a clear illustration of the benefits to be gained from a system combining techniques that have proven independently useful in different areas of Computer Science.
AB - There has been a growing awareness of the need to share data and services among autonomous heterogeneous information sources. For obvious reasons, these sources are storing information in ways that meet their own needs and hence in different formats. However, for a combination of information from heterogeneous sources to be truly useful, a user needs to be able to use the shared information without having to learn the particular data format or the locations of the relevant data. This idea can be taken a step further as the importance of combining techniques from various areas in computer science becomes more obvious. There are a number of benefits that can be derived from combining, for example, some of the features of Artificial Intelligence systems, such as logical inference, with those of traditional database systems. This paper describes STIRDAT, a system tightly and transparently integrating data in a number of relational databases stored at different sites with a theorem prover. It provides a clear illustration of the benefits to be gained from a system combining techniques that have proven independently useful in different areas of Computer Science.
KW - Heterogeneous systems
KW - Theorem provers
UR - https://digitalcommons.usf.edu/fac_publications/2112
UR - https://login.ezproxy.lib.usf.edu/login?url=http://www.sciencedirect.com/science/article/pii/S0169023X00000057/pdfft?md5=2cb280ebbbbbc7fcfe2b03ec3a1f01e3&pid=1-s2.0-S0169023X00000057-main.pdf
M3 - Article
JO - Default journal
JF - Default journal
ER -