Name
Abstract | ||
|---|---|---|
The information to be stored in databases in not always precise. A related issue is the handling of imperfect, flexible or vague queries. M. Kifer and V. S. Subrahmanian introduced generalized anno- tated logic programs (GAP) which unify and generalize various results and treatments of quantitative Datalog based model theoretic semantic. In this paper we discuss the problem of appropriate proof theoretic data model for restricted annotated programs. We face several problems: the semantics is not continuous, constraint based computational model is not eective and there is a problem with the definition of the natural join. We introduce a variant of annotated programs with continuous se- mantics, we define a new eective computational procedure and show a solution for the join problem. We use a connection to fuzzy Datalog and make use of an earlier model of fuzzy databases. |
Year | Venue | Keywords |
|---|---|---|
2002 | ADBIS Research Communications | data model,computer model |
Field | DocType | Citations |
Data mining,Data modeling,Database model,Computer science,Logical data model,Database design,Physical data model,Data model | Conference | 1 |
PageRank | References | Authors |
0.45 | 6 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stanislav Krajci | 1 | 234 | 20.94 |
| Rastislav Lencses | 2 | 33 | 2.53 |
| Peter Vojtás | 3 | 336 | 33.41 |