Filters








9,790 Hits in 3.7 sec

Set constructors in a logic database language

Catriel Beeri, Shamim Naqvi, Oded Shmueli, Shalom Tsur
1991 The Journal of Logic Programming  
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

MosheY. Vardi
1991 The Journal of Logic Programming  
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

Mark Graves
1995 Proceedings of the fourth international conference on Information and knowledge management - CIKM '95  
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]

Lappoon R. Tang, Raymond J. Mooney
2001 Lecture Notes in Computer Science  
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]

Alessandro Artale, Enrico Franconi
2009 Lecture Notes in Computer Science  
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

Chimène Fankam, Stéphane Jean, Guy Pierra, Ladjel Bellatreche, Yamine Aït Ameur
2009 2009 First International Confernce on Advances in Databases, Knowledge, and Data Applications  
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  
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]

Aaron Bembenek, Stephen Chong
2018 arXiv   pre-print
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

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick
1989 Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89  
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

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick
1989 SIGMOD record  
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]

Sonia Bergamaschi, Claudio Sartori, Domenico Beneventano, Maurizio Vincini
1997 Lecture Notes in Computer Science  
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  
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]

Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhaylov, Lioubouv Bourmistrova, Anastassiya Berezovskaya
2001 arXiv   pre-print
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]

Adnan Yazici, Kemal Akkaya
2000 Studies in Fuzziness and Soft Computing  
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

H. V. Jagadish, Laks V. S. Lakshmanan, Monica Scannapieco, Divesh Srivastava, Nuwee Wiwatwattana
2004 Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04  
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