2516 search results - page 366 / 504 » Integrity Constraints for XML |
174
click to vote
PPDP
1999
Springer
15 years 10 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
155
click to vote
TACAS
1999
Springer
15 years 10 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
140
click to vote
DEXA
1998
Springer
15 years 10 months ago
1998
Springer
Prototype databases are needed in any information system development process to support data-intensive applications development. It is common practice to populate these databases u...
180
click to vote
ESORICS
1998
Springer
15 years 10 months ago
1998
Springer
When implementing a multilevel security policy for Object-Oriented Databases (OODBs), several aspects have to be investigated. One of these aspect is the design of multilevel OODB...
171
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...