Meta Tables, Meta SQL Instructions and Gödel’s Theorems of Incompletness
As Mérő, László says, the self-definition of some concepts are in the origin of the Evolution. This is close to Gödel’s first theorem of incompleteness: in a sufficiently defined axiomatic system we have true but unprovable statements within the system. This is called “the Gödel sentence” for the theory. We have to complete the system with other definitions to prove that the statement is true, however the new well defined system has other statements that are not well defined and so on. We try to show that some database concepts are in the same situations and we try to define the self-definition for some of them. Meta tables contain information from the tables, and meta instructions generate instructions using instructions. How to proceed to maintain a well defined database system that contains information about himself? We try to solve the ‘null value problem’ for a database. This practically means that the consumer of the database asks for storing information that will never be introduced in the database (like the second address for a client in some applications).
Year of publication: |
2010
|
---|---|
Authors: | ILLYES, Laszlo |
Published in: |
Timisoara Journal of Economics. - Facultatea de Economie şi de Administrare a Afacerilor, ISSN 1842-7340. - Vol. 3.2010, 3(11), p. 157-160
|
Publisher: |
Facultatea de Economie şi de Administrare a Afacerilor |
Subject: | Meta tables | meta SQL Instructions | Gödel theorems | self-definition |
Saved in:
freely available
Saved in favorites
Similar items by subject
-
National Data Centre and Financial Statistics Office: A Conceptual Design for Public Data Management
Cakir, Murat, (2014)
-
National Data Centre and Financial Statistics Office: A Conceptual Design for Public Data Management
Cakir, Murat, (2014)
-
Panelerhebungen der amtlichen Statistik als Datenquellen für die Sozialwissenschaften
Gramlichl, Tobias, (2009)
- More ...