|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 764 occurrences of 420 keywords
|
|
|
|
|
Results
Found 816 publication records. Showing 816 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Abdullah Uz Tansel |
Integrity Constraints in Temporal Relational Databases.  |
ITCC  |
2004 |
DBLP DOI BibTeX RDF |
Existential Integrity, Temporal Integrity Constraints, Temporal Databases, Integrity Constraints, Temporal Relations, Referential Integrity |
| 4 | Amit Basu, Robert W. Blanning |
Discovering implicit integrity constraints in rule bases using metagraphs.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
implicit integrity constraints, metagraphs, graph formalism, if-then rules, metagraph representation, knowledge representation, graph theory, data integrity, knowledge based systems, knowledge based system, decision support systems, DSS, problem solving, integrity constraints, domain knowledge, rule bases, rule base |
| 3 | Yi Lin, Bettina Kemme, Ricardo Jiménez-Peris, Marta Patiño-Martínez, José Enrique Armendáriz-Iñigo |
Snapshot isolation and integrity constraints in replicated databases.  |
ACM Trans. Database Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Replication, integrity constraints, snapshot isolation |
| 3 | Ali Amer Alwan, Hamidah Ibrahim, Nur Izura Udzir |
Ranking and selecting integrity tests in a distributed database.  |
iiWAS  |
2009 |
DBLP DOI BibTeX RDF |
integrity constraints checking, distributed database, integrity constraints, integrity tests |
| 3 | Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju |
A Model for Checking the Integrity Constraints of Mobile Databases.  |
OTM Workshops  |
2008 |
DBLP DOI BibTeX RDF |
integrity constraints, Mobile databases, constraint checking |
| 3 | Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju |
Checking the Integrity Constraints of Mobile Databases with Three-Level Model.  |
BNCOD  |
2008 |
DBLP DOI BibTeX RDF |
integrity constraints, Mobile databases, constraint checking |
| 3 | Zarina Dzolkhifli, Hamidah Ibrahim, Lilly Suriani Affendey |
Data caching strategies for checking integrity constraints of mobile database.  |
iiWAS  |
2008 |
DBLP DOI BibTeX RDF |
checking integrity constraints, data caching, mobile databases |
| 3 | Fei Wang, Wolfgang Reinhardt |
Extending Geographic Data Modeling by Adopting Constraint Decision Table to Specify Spatial Integrity Constraints.  |
AGILE Conf.  |
2007 |
DBLP DOI BibTeX RDF |
Geographic data modeling, spatial integrity constraints, fielddata capture, data quality, Mobile GIS |
| 3 | Carson Kai-Sang Leung, Wookey Lee |
Exploitation of Referential Integrity Constraints for Efficient Update of Data Warehouse Views.  |
BNCOD  |
2005 |
DBLP DOI BibTeX RDF |
referential integrity constraints, Data warehousing, view maintenance, star schema, self-maintainability |
| 3 | Subhasish Mazumdar, Panos K. Chrysanthis |
Localization of Integrity Constraints in Mobile Databases and Specification in PRO-MOTION.  |
MONET  |
2004 |
DBLP DOI BibTeX RDF |
caching and replication, transaction processing, integrity constraints, mobile databases, data consistency, disconnected operations |
| 3 | Sergio Flesca, Sergio Greco, Ester Zumpano |
Active integrity constraints.  |
PPDP  |
2004 |
DBLP DOI BibTeX RDF |
logic programming, integrity constraints, inconsistent database |
| 3 | Wenfei Fan, Leonid Libkin |
On XML integrity constraints in the presence of DTDs.  |
J. ACM  |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, Consistency, integrity constraints, DTDs, implication |
| 3 | Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz |
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions.  |
CoopIS  |
2001 |
DBLP DOI BibTeX RDF |
Integrity constraints, Consistency checking, Distributed transactions, Multidatabase systems, Nested transactions |
| 3 | Alberto Belussi, Mauro Negri, Giuseppe Pelagatti |
An integrity constraints driven system for updating spatial databases.  |
ACM-GIS  |
2000 |
DBLP DOI BibTeX RDF |
spatial integrity constraints, update, spatial data |
| 3 | Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz |
Nested Transactions with Integrity Constraints.  |
FMLDO - Selected Papers  |
1999 |
DBLP DOI BibTeX RDF |
partial abort, integrity constraints, nested transactions |
| 3 | Ann Q. Gates, C. Kubo Della-Piana |
The identification of integrity constraints in requirements for context monitoring.  |
ECBS  |
1997 |
DBLP DOI BibTeX RDF |
application-specific knowledge, specialized knowledge, software engineering, formal specification, requirements, integrity constraints, development team, context monitoring |
| 3 | Anne Doucet, Stéphane Gançarski, Geneviève Jomier, Sophie Monties |
Integrity Constraints in Multiversion Databases.  |
BNCOD  |
1996 |
DBLP DOI BibTeX RDF |
database, consistency, integrity constraints, versions |
| 3 | X. C. Dellanoy, C. Del Vigna |
Binary Integrity Constraints Against Confidentiality.  |
DEXA  |
1996 |
DBLP DOI BibTeX RDF |
Discretionary Models of Confidentiality, Integrity Constraints, Relational Model, Covert Channel |
| 3 | Jan Chomicki |
Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding.  |
ACM Trans. Database Syst.  |
1995 |
DBLP DOI BibTeX RDF |
temporal logic, temporal databases, integrity constraints, active databases, database integrity, triggers, real-time databases |
| 2 | Xianji Cui, Dantong Ouyang, Yuxin Ye |
Persistent Storage of Ontology-Based Data with Integrity Constraints.  |
FCST  |
2010 |
DBLP DOI BibTeX RDF |
Ontology, Relational Database, Integrity Constraints |
| 2 | Luciano Caroprese, Sergio Greco, Ester Zumpano |
Active Integrity Constraints for Database Consistency Maintenance.  |
IEEE Trans. Knowl. Data Eng.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | |
Dynamic Integrity Constraints.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | |
Relational Integrity Constraints.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Ian J. Hayes |
Dynamically Detecting Faults via Integrity Constraints.  |
Methods, Models and Tools for Fault Tolerance  |
2009 |
DBLP DOI BibTeX RDF |
fault detection, Integrity constraint, action system, real-time programming |
| 2 | Md. Sumon Shahriar, Jixue Liu |
Checking Satisfactions of XML Referential Integrity Constraints.  |
AMT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
Datalog±: a unified approach to ontologies and integrity constraints.  |
ICDT  |
2009 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase |
| 2 | Giuseppe Pelagatti, Mauro Negri, Alberto Belussi, Sara Migliorini |
From the conceptual design of spatial constraints to their implementation in real systems.  |
GIS  |
2009 |
DBLP DOI BibTeX RDF |
spatial data validation, spatial integrity constraints, conceptual modeling |
| 2 | Robert A. Kowalski, Fariba Sadri |
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.  |
RR  |
2009 |
DBLP DOI BibTeX RDF |
Abductive logic programming, agents, Integrity constraints, Production systems |
| 2 | Amel Mammar |
A systematic approach to generate B preconditions: application to the database domain.  |
Software and System Modeling  |
2009 |
DBLP DOI BibTeX RDF |
B operations, Formal specification, Invariant, Integrity constraints, Precondition |
| 2 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Active Integrity Constraints.  |
ICLP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.  |
JELIA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Zarina Dzolkhifli, Hamidah Ibrahim, Lilly Suriani Affendey, Praveen Madiraju |
A framework for caching relevant data items for checking integrity constraints of mobile database.  |
ICDIM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ding Chen, Chee Yong Chan |
Minimization of tree pattern queries with constraints.  |
SIGMOD Conference  |
2008 |
DBLP DOI BibTeX RDF |
query minimization, tree pattern queries, simulation, xpath, xml, integrity constraints, chase |
| 2 | Renzo Angles, Claudio Gutiérrez |
Survey of graph database models.  |
ACM Comput. Surv.  |
2008 |
DBLP DOI BibTeX RDF |
graph database models, graph integrity constraints, graph query languages, Database systems, graph databases, database models |
| 2 | Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente |
Drawing Preconditions of Operation Contracts from Conceptual Schemas.  |
CAiSE  |
2008 |
DBLP DOI BibTeX RDF |
operation contracts, conceptual modelling, integrity constraints |
| 2 | Khaue Rezende Rodrigues, Ronaldo dos Santos Mello |
DIInCX: An Approach to Discovery of Implicit Integrity Constraints from XML Data.  |
IRI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Luciano Caroprese, Sergio Greco, Cristian Molinaro |
Prioritized Active Integrity Constraints for Database Maintenance.  |
DASFAA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mehrdad Salehi, Yvan Bédard, Mir Abolfazl Mostafavi, Jean Brodeur |
On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models.  |
ER Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Hamidah Ibrahim, Ali Amer Alwan, Nur Izura Udzir |
Checking Integrity Constraints with Various Types of Integrity Tests for Distributed Databases.  |
PDCAT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Khaue Rezende Rodrigues, Ronaldo dos Santos Mello |
A Faceted Taxonomy of Semantic Integrity Constraints for the XML Data Model.  |
DEXA  |
2007 |
DBLP DOI BibTeX RDF |
integrity constraint taxonomy, XML, data integrity |
| 2 | Stephan Mäs |
Reasoning on Spatial Semantic Integrity Constraints.  |
COSIT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Refinement of eb3 Process Patterns into B Specifications.  |
B  |
2007 |
DBLP DOI BibTeX RDF |
data integrity constraints, eb3, process expressions, Information systems, refinement |
| 2 | Nodira Khoussainova, Magdalena Balazinska, Dan Suciu |
Towards correcting input data errors probabilistically using integrity constraints.  |
MobiDE  |
2006 |
DBLP DOI BibTeX RDF |
entropy maximization, stream processing, data cleaning, probabilistic databases |
| 2 | Alberto Belussi, Mauro Negri, Giuseppe Pelagatti |
An ISO TC 211 Conformant Approach to Model Spatial Integrity Constraints in the Conceptual Design of Geographical Databases.  |
ER (Workshops)  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Hamidah Ibrahim |
Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases.  |
DEXA Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Qiuju Lee, Stéphane Bressan, J. Wenny Rahayu |
XShreX: Maintaining Integrity Constraints in the Mapping of XML Schema to Relational.  |
DEXA Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Carson Kai-Sang Leung, Wookey Lee |
Efficient Update of Data Warehouse Views with Generalised Referential Integrity Differential Files.  |
BNCOD  |
2006 |
DBLP DOI BibTeX RDF |
referential integrity constraints, snowflake schema, galaxy schema, Data warehousing, view maintenance, self-maintainability |
| 2 | John Grant, Anthony Hunter |
Measuring inconsistency in knowledgebases.  |
J. Intell. Inf. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
Conflict resolution, Integrity constraints, Inconsistency, Paraconsistent logic |
| 2 | Carlos A. Hurtado, Claudio Gutiérrez, Alberto O. Mendelzon |
Capturing summarizability with integrity constraints in OLAP.  |
ACM Trans. Database Syst.  |
2005 |
DBLP DOI BibTeX RDF |
query-optimization, OLAP, data warehousing, integrity constraints, summarizability |
| 2 | Jin-Ho Kim, Byung Suk Lee, Yang-Sae Moon, Sooho Ok, Wookey Lee |
Parallel Consistency Maintenance of Materialized Views Using Referential Integrity Constraints in Data Warehouses.  |
DaWaK  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari |
Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.  |
CBMS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Alin Deutsch, Bertram Ludäscher, Alan Nash |
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints.  |
ICDT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko |
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints.  |
DBPL  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Sandro Etalle, William H. Winsborough |
Integrity constraints in trust management.  |
SACMAT  |
2005 |
DBLP DOI BibTeX RDF |
access control, integrity, trust management, distributed system security |
| 2 | Fabian Büttner, Hanna Bauerdick, Martin Gogolla |
Towards Transformation of Integrity Constraints and Database States.  |
DEXA Workshops  |
2005 |
DBLP DOI BibTeX RDF |
constraint transformation, UML, OCL, Integrity constraint, schema transformation, cardinality constraint |
| 2 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Synthesizing B Specifications from EB3 Attribute Definitions.  |
IFM  |
2005 |
DBLP DOI BibTeX RDF |
data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions |
| 2 | Michael Benedikt, Glenn Bruns |
On Guard: Producing Run-Time Checks from Integrity Constraints.  |
AMAST  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Artur Bykowski, Thomas Daurel, Nicolas Méger, Christophe Rigotti |
Integrity Constraints over Association Rules.  |
Database Support for Data Mining Applications  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Henning Christiansen, Davide Martinenghi |
Simplification of Integrity Constraints for Data Integration.  |
FoIKS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Davide Martinenghi |
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins.  |
FQAS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Herman Balsters, Bert O. de Brock |
Integration of Integrity Constraints in Federated Schemata Based on Tight Constraining.  |
CoopIS/DOA/ODBASE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Abdullah Uz Tansel |
Temporal Data Modeling and Integrity Constraints in Relational Databases.  |
ISCIS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Boris Dahav, Opher Etzion |
Distributed Enforcement of Integrity Constraints.  |
Distributed and Parallel Databases  |
2003 |
DBLP DOI BibTeX RDF |
database exception handling, self-stabilization in databases, distributed rules systems, distributed databases |
| 2 | Mehdi Snene, Jorge Pardellas |
Distributed Information System Design Based on Integrity Constraints Optimization: The FKDO Algorithm.  |
OOIS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Suzanne M. Embury, Jianhua Shao |
Analysing the Impact of Adding Integrity Constraints to Information Systems.  |
CAiSE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.  |
DALT  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi |
DIS@DIS: A System for Semantic Data Integration under Integrity Constraints.  |
WISE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Antoni Olivé |
Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages.  |
ER  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Henning Christiansen, Davide Martinenghi |
Simplification of Database Integrity Constraints Revisited: A Transformational Approach.  |
LOPSTR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Peter Buneman, Wenfei Fan, Scott Weinstein |
Interaction between path and type constraints.  |
ACM Trans. Comput. Log.  |
2003 |
DBLP DOI BibTeX RDF |
types, integrity constraints, semistructured data, implication |
| 2 | Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori |
Description logics for semantic query optimization in object-oriented database systems.  |
ACM Trans. Database Syst.  |
2003 |
DBLP DOI BibTeX RDF |
integrity constraints rules, query rewriting method, semantic expansion of a query, description logics, subsumption, Semantic query optimization |
| 2 | Anna Formica |
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.  |
IEEE Trans. Knowl. Data Eng.  |
2002 |
DBLP DOI BibTeX RDF |
constraint satisfiability (consistency), recursive schemas, axioms of infinity, equality constraints, object-oriented databases |
| 2 | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Data Integration under Integrity Constraints.  |
CAiSE  |
2002 |
DBLP BibTeX RDF |
|
| 2 | Prakash Ramanan |
Efficient algorithms for minimizing tree pattern queries.  |
SIGMOD Conference  |
2002 |
DBLP DOI BibTeX RDF |
LDAP queries, graph simulation, query minimization, tree pattern queries, XML, integrity constraints, XML queries |
| 2 | Francesco Buccafurri, Filippo Furfaro, Domenico Saccà |
Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach.  |
ICDT  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaochun Yang, Guoren Wang |
Mapping Referential Integrity Constraints from Relational Databases to XML.  |
WAIM  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Wenfei Fan, Leonid Libkin |
On XML Integrity Constraints in the Presence of DTDs. (PDF / PS)  |
PODS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaochun Yang, Ge Yu, Guoren Wang |
Efficiently Mapping Integrity Constraints from Relational Database to XML Document.  |
ADBIS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Can Türker, Michael Gertz |
Semantic integrity support in SQL: 1999 and commercial (object-)relational database management systems.  |
VLDB J.  |
2001 |
DBLP DOI BibTeX RDF |
Semantic integrity constraints, Object-relational databases, SQL:1999, Constraint enforcement |
| 2 | Wenfei Fan, Jérôme Siméon |
Integrity Constraints for XML.  |
PODS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Rolly Intan, Masao Mukaidono |
Fuzzy Functional Dependency and Its Application to Approximate Data Querying. (PDF / PS)  |
IDEAS  |
2000 |
DBLP DOI BibTeX RDF |
partial fuzzy functional dependency, approximate data querying, approximate data reduction, fuzzy integrity constraints, fuzzy query relations, extended query system, relational databases, projection, fuzzy set theory, conditional probability, approximate joins |
| 2 | John Grant, Jarek Gryz, Jack Minker, Louiqa Raschid |
Logic-Based Query Optimization for Object Databases.  |
IEEE Trans. Knowl. Data Eng.  |
2000 |
DBLP DOI BibTeX RDF |
logic query, methods in object DBMS, object DBMS, semantic query optimization (SQO), semantic residues, Datalog, integrity constraints, OQL, ODL, ODMG |
| 2 | Sébastien Konieczny, Ramón Pino Pérez |
Merging with Integrity Constraints.  |
ESCQARU  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Barry G. T. Lowden, Jerome Robinson |
A Fast Method for Ensuring the Consistence of Integrity Constraints.  |
DEXA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Can Türker, Gunter Saake |
Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration.  |
ADBIS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Ann Q. Gates, Patricia J. Teller |
DynaMICs: An Automated and Independent Software-FaultDetection Approach. (PDF / PS)  |
HASE  |
1999 |
DBLP DOI BibTeX RDF |
software-fault detection, software-fault monitoring, hardware-assisted monitoring, constraints, tracing, integrity constraints, verification and validation |
| 2 | Bert O. de Brock |
Declarative Specifications of Complex Transactions.  |
FMLDO - Selected Papers  |
1999 |
DBLP DOI BibTeX RDF |
transaction design, database dynamics, declarative specifications of database behavior, (static and dynamic) integrity constraints, (allowable versus available) transitions, cascading deletes, adaptations, semantics, Transactions, transaction models |
| 2 | Can Türker, Gunter Saake |
Deriving Relationships between Integrity Constraints for Schema Comparison.  |
ADBIS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefan Conrad, Michael Höding, Gunter Saake, Ingo Schmitt, Can Türker |
Schema Integration with Integrity Constraints.  |
BNCOD  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Anne Doucet, Sophie Monties |
Versions of Integrity Constraints in Multiversion Databases.  |
DEXA  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein |
Surviving information warfare attacks on databases.  |
IEEE Symposium on Security and Privacy  |
1997 |
DBLP DOI BibTeX RDF |
information warfare attack survival, fault tolerance approach, damaged data, partially repaired data, snapshot algorithm, damage markings, consistency preserving normal transactions, countermeasure transactions, databases, protocol, security of data, integrity constraints, data security, database consistency |
| 2 | Xubo Zhang, Z. Meral Özsoyoglu |
Implication and Referential Constraints: A New Formal Reasoning.  |
IEEE Trans. Knowl. Data Eng.  |
1997 |
DBLP DOI BibTeX RDF |
Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation |
| 2 | Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam |
Automating Proofs of Integrity Constraints in Situation Calculus.  |
ISMIS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Dimitris Plexousakis, John Mylopoulos |
Accomodating Integrity Constraints During Database Design.  |
EDBT  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | X. C. Delannoy |
Understanding the Tension between Transition Rules and Confidentiality.  |
BNCOD  |
1996 |
DBLP DOI BibTeX RDF |
Discretionary Models of Confidentiality, Transition Integrity Constraints, Relational Model, Covert Channel |
| 2 | Jan Chomicki, David Toman |
Implementing Temporal Integrity Constraints Using an Active DBMS.  |
IEEE Trans. Knowl. Data Eng.  |
1995 |
DBLP DOI BibTeX RDF |
Temporal databases, integrity constraints, dynamic constraints, constraint checking |
| 2 | Fereidoon Sadri |
Integrity Constraints in the Information Source Tracking Method.  |
IEEE Trans. Knowl. Data Eng.  |
1995 |
DBLP DOI BibTeX RDF |
information source tracking, Database systems, integrity constraints, inconsistency, uncertainty management |
| 2 | Narayanan Krishnakumar, Arthur J. Bernstein |
Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System.  |
ACM Trans. Database Syst.  |
1994 |
DBLP DOI BibTeX RDF |
concurrency control, replication, integrity constraints, reachability analysis, serializability |
| 2 | Naci Ishakbeyoglu, Z. Meral Özsoyoglu |
On the Maintenance of Implication Integrity Constraints.  |
DEXA  |
1993 |
DBLP DOI BibTeX RDF |
|
| 2 | Jan Chomicki, Damian Niwinski |
On the Feasibility of Checking Temporal Integrity Constraints.  |
PODS  |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 816 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|