219 search results - page 18 / 44 » Introduction to Logics for Databases and Information Systems |
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
ADBIS
2001
Springer
15 years 2 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...
73
Voted
ER
2000
Springer
15 years 1 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
DEBU
2008
14 years 9 months ago
2008
Increasingly, companies recognize that most of their important information does not exist in relational stores but in documents. For a long time, textual information has been rela...
106
click to vote
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...