5451 search results - page 85 / 1091 » Typed Operational Semantics |
76
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
241
Voted
FCSC
2011
14 years 6 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...
105
click to vote
DBPL
1987
Springer
15 years 6 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
125
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
135
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...