A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Set constructors in a logic database language
1991
The Journal of Logic Programming
Preserved Fulltext
SET CONSTRUCTORS IN A LOGIC DATABASE LANGUAGE 183 However, it is not always possible to associate such a semantics with a program that uses negation, as illustrated by the following program [s(X) denotes ...
In classical logic-programming languages, sets can be represented only indirectly, by lists. ...
SET CONSTRUCTORS IN A LOGIC DATABASE LANGUAGE* CATRIEL BEER&+ SHAMIM NAQVI, ODED SHMUELI," AND SHALOM TSUR
D ~_%&Logical Data Language-is a language developed at MCC. ...
doi:10.1016/0743-1066(91)90036-o
fatcat:cdnhxoguobeszegm5suzf4zcoe
Database logic programming
1991
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The first paper, "Set Constructors in a Logic Database Language", by C. Beeri, S. Naqvi, 0. Shmueli, and S. Tsur, describes a logic-programming language with set constructors. ...
The paper investigates how semantics can be defined for the language, and, more broadly, it examines the intricacies arising from the introduction of set constructors into a logic-based language. ...
The last two papers deal with the complexity of evaluating database logic programs. The paper "Efficient Evaluation for a Subset of Recursive Queries", by G. Grahne, S. Sippu, and E. ...
doi:10.1016/0743-1066(91)90035-n
fatcat:kizazk7lrna2tmf4tj6hjvb2gm
Application of knowledge base design techniques to genetic markers
1995
Proceedings of the fourth international conference on Information and knowledge management - CIKM '95
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This mix of theoretical results and their integration in an implemented system has proven useful for a real-world application. ...
Knowledge bases can be quickly accepted into realistic settings if they are developed rapidly and they support critical tasks. ...
This step involves writing simple logic programs. α α
Associate graph constructors with data constructors, written in SPIDER. ...
doi:10.1145/221270.221624
dblp:conf/cikm/Graves95
fatcat:s2n6bgey3bgnfnzftojapg5dcu
Using Multiple Clause Constructors in Inductive Logic Programming for Semantic Parsing
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, we explored a learning approach which combines different learning methods in inductive logic programming (ILP) to allow a learner to produce more expressive hypotheses than that of each ...
Such a learning approach may be useful when the performance of the task depends on solving a large amount of classification problems and each has its own characteristics which may or may not fit a particular ...
database access language. ...
doi:10.1007/3-540-44795-4_40
fatcat:kyho77vr4fgn5cvwxvn7jqel2e
Foundations of Temporal Conceptual Data Models
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It then introduces a correct and succinct encoding in a subset of first-order temporal logic, namely DLRUS -the description logic DLR extended with the temporal operators Since and Until. ...
This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provides a coherent model-theoretic formalisation ...
Carsten Lutz, Federica Mandreoli, Christine Parent, Vladislav Ryzhikov, Stefano Spaccapietra, David Toman, Frank Wolter, and Michael Zakharyaschev with whom we carried out most of the work presented in ...
doi:10.1007/978-3-642-02463-4_2
fatcat:2jrkxuozmjhifbc6sptszm6jya
Towards Connecting Database Applications to Ontologies
2009
2009 First International Confernce on Advances in Databases, Knowledge, and Data Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
When it is used, a large amount of semantics of data may be lost during the transformation from the conceptual model to a logical model. ...
In this paper, we propose an ontology-based approach for designing database applications, and then, for representing explicitly the semantics of data within the database. ...
The CM is translated into a logical model corresponding to a data specification implemented in a database system. ...
doi:10.1109/dbkda.2009.22
dblp:conf/dbkda/FankamJPBA09
fatcat:z7e74zi7afa6hl6547lz3rcj7e
Title index to volume 10
1991
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
for Polynomial&
Solvable Satisfi-
ability Problems, 69
Power of Magic, On the, 255
Practical Framework
for the Abstract Interpretation
of
Logic Programs, A, 91
Set Constructors
in a Logic Database ...
Set Grammars:
A Formalism for Prob-
lem Solving, 1
Efficient Evaluation
for a Subset of Recursive Queries,
301
Enhancing
Unification
in PROLOG
Through Clause In-
dexing, 23
On-Line Algorithms ...
doi:10.1016/0743-1066(91)90041-m
fatcat:7v37o4jw3vapjkbmrfmfbowt6a
FormuLog: Datalog for static analysis involving logical formulae
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
While this paper focuses on the design of FormuLog and one of the analyses we have implemented in it, it also touches on a prototype implementation of the language and identifies performance optimizations ...
However, even with these features it is hard or impossible to express a large class of analyses because they use logical formulae to represent program state. ...
This is the perfect setting for a Datalog-like language that makes it easy to encode interdependent analyses. ...
arXiv:1809.06274v1
fatcat:ec6pkpglzbe53ns75364iyv6nq
CLASSIC: a structural data model for objects
1989
Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
This spaceo f languages di ers from the subsets of predicate calculus hitherto exploredb y deductive databases. ...
classic is a data model that encourages the description o f o b j e cts not only in terms of their relations to other known objects, but in terms of a level of intensional structurea sw ell. ...
Some previous work in logic databases 11; 18 has considered descriptive o ri n tensional answers, but as su cient rather than necessary conditions for the answer set. ...
doi:10.1145/67544.66932
dblp:conf/sigmod/BorgidaBMR89
fatcat:psto7qbwhjbmjmh3c7wv62avay
CLASSIC: a structural data model for objects
1989
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
This spaceo f languages di ers from the subsets of predicate calculus hitherto exploredb y deductive databases. ...
classic is a data model that encourages the description o f o b j e cts not only in terms of their relations to other known objects, but in terms of a level of intensional structurea sw ell. ...
Some previous work in logic databases 11; 18 has considered descriptive o ri n tensional answers, but as su cient rather than necessary conditions for the answer set. ...
doi:10.1145/66926.66932
fatcat:j4epfkch3ndqxgjaruy5f5vg5y
ODB-Tools: A description logics based tool for schema validation and semantic query optimization in object oriented databases
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
OCDL: a description logic (DL) for database schema with integrity constraints OCDL (Object Constraints Description Language) is a new description logics 4], extending the expressiveness of traditional ...
description logics languages (derived from the KL-ONE model 5]) in order to represent the semantics of complex object data models. ...
OCDL: a description logic (DL) for database schema with integrity constraints OCDL (Object Constraints Description Language) is a new description logics 4], extending the expressiveness of traditional ...
doi:10.1007/3-540-63576-9_130
fatcat:brelyhs7ffdljgww6ob6ntf33i
Page 4106 of Mathematical Reviews Vol. , Issue 94g
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The paper contributes to our knowledge on the decidable exten- sions of PDL, by specifying three classes of nonregular languages such that PDL with any language L in one of the classes, added to the set ...
The second main result shows that for constructor-based specifications there is a one- to-one correspondence between narrowing and logic programming and finally it is proved that for constructor-based ...
Building Views with Description Logics in ADE: Application Development Environment
[article]
2001
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
The variety of applications may be generated that communicate with different and distinct desktop databases in a data warehouse. ...
Any of views is formally defined within description logics that were established as a family of logics for modeling complex hereditary structures and have a suitable expressive power. ...
This architecture expects a set of procedures to be filled in for each new concept constructor extending the original language. ...
arXiv:cs/0106029v1
fatcat:6ytgc2kpa5dbzlmj4a2evdwrea
Conceptual Modeling of Geographic Information System Applications
[chapter]
2000
Studies in Fuzziness and Soft Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We also give the mapping algorithm that transforms the conceptual schema of GIS applications into the logical database structures by utilizing the fuzzy object-oriented database (FOOD) model at the logical ...
that have been difficult to integrate cohesively in simple database models. ...
Now we can map the conceptual model, shown in Figure 15 , into a logical database model by applying this mapping algorithm. ...
doi:10.1007/978-3-7908-1845-1_7
fatcat:wh4mxifhwvd6znucyfe3kw564m
Colorful XML
2004
Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
While MCT serves as a significant evolutionary extension to XML as a logical data model, one of the key roles of XML is for information exchange. ...
Consider a movie database, with elements movie, movie-genre, movie-award, actor and movie-role. ...
Since every tree in the MCT logical data model is a colored tree, XQuery constructor expressions are suitable for the creation of new colored trees in an MCT database as well. ...
doi:10.1145/1007568.1007598
dblp:conf/sigmod/JagadishLSSW04
fatcat:fvbdckbw6fb2vppphdiaokvxti
« Previous
Showing results 1 — 15 out of 9,790 results