| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | 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 |
| 2 | 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 |
| 2 | Benjamin Mesing, Constantinos Constantinides, Wolfgang Lohmann |
Limes: An Aspect-Oriented Constraint Checking Language. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Praveen Madiraju, Rajshekhar Sunderraman |
A mobile agent approach for global database constraint checking. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
multi-database systems, mobile agents, global constraints |
| 2 | Sin Yeung Lee, Tok Wang Ling |
Improving Integrity Constraint Checking for Stratified Deductive Databases. |
DEXA |
1994 |
DBLP DOI BibTeX RDF |
|
| 2 | Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom |
Constraint Checking with Partial Information. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
| 2 | Kok-Phuang Tan, T. C. Tan |
An Improved Join Dependency for Efficient Constraint Checking. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
Database design, join dependency, constraint checking |
| 1 | Kai Herrmann |
Modulares Constraint-Checking: domänenunabhängiges Feedback bei der Modellierung mit visuellen Sprachen. |
|
2011 |
RDF |
|
| 1 | Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye |
Partial constraint checking for context consistency in pervasive computing. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Obermeier, Stefan Böttcher |
Constraint Checking for Non-blocking Transaction Processing in Mobile Ad-hoc Networks. |
ICEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Charles André, Frédéric Mallet, Julien DeAntoni |
VHDL Observers for Clock Constraint Checking. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep |
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Selim Ciraci, Pim van den Broek, Mehmet Aksit |
Graph-based verification of static program constraints. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
constraint verification, program constraints, prolog, graph transformations |
| 1 | Carson Kai-Sang Leung, Boyu Hao, Dale A. Brajczuk |
Mining uncertain data for frequent itemsets that satisfy aggregate constraints. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
data mining, constraints, frequent patterns, probabilistic databases, aggregate functions |
| 1 | Praveen Madiraju, Rajshekhar Sunderraman, Shamkant B. Navathe, Haibin Wang |
Semantic Integrity Constraint Checking for Multiple XML Databases. |
Database Technologies: Concepts, Methodologies, Tools, and Applications |
2009 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Runte, Marwane El Kharbili |
Constraint Checking for Business Process Management. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
| 1 | Jason Crampton, Hemanth Khambhammettu |
A Framework for Enforcing Constrained RBAC Policies. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Köhler |
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albin Laga, Praveen Madiraju |
A framework for constraint checking involving aggregates for multiple XML databases using schematron. |
SEDE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Hein, Tom Ritter |
Global Constraint Checking at Run-Time. |
ISADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew W. Bilotti, Paul Ogilvie, Jamie Callan, Eric Nyberg |
Structured retrieval for question answering. |
SIGIR |
2007 |
DBLP DOI BibTeX RDF |
question answering, structured retrieval |
| 1 | Shipra Agrawal, Supratim Deb, K. V. M. Naidu, Rajeev Rastogi |
Efficient Detection of Distributed Constraint Violations. |
ICDE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Stéphane Gançarski, Claudia León, Hubert Naacke, Marta Rukoz, Pablo Santini |
Integrity Constraint Checking in Distributed Nested Transactions over a Database Cluster. |
CLEI Electron. J. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Praveen Madiraju, Rajshekhar Sunderraman, Shamkant B. Navathe, Haibin Wang |
Semantic Integrity Constraint Checking for Multiple XML Databases. |
J. Database Manag. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Praveen Madiraju, Rajshekhar Sunderraman, Haibin Wang |
A framework for global constraint checking involving aggregates in multidatabases using granular computing. |
GrC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamidah Ibrahim |
Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Draheim, Peter Thiemann, Gerald Weber |
A Spreadsheet Client for Web Applications. |
NGITS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Ingstrup, Klaus Marius Hansen |
A Declarative Approach to Architectural Reflection. |
WICSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Adriana Abrão, Béatrice Bouchou, Mirian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante |
Incremental Constraint Checking for XML Documents. |
XSym |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciaran O'Reilly |
A Weakly Constrained Approach to Software Change Coordination. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer |
Flexible consistency checking. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
CASE tools, consistency management, multiple perspectives, constraint checking |
| 1 | Jean-Louis Sourrouille, Guy Caplat |
Constraint checking in UML modeling. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein |
xlinkit: a consistency checking and smart link generation service. |
ACM Trans. Internet Techn. |
2002 |
DBLP DOI BibTeX RDF |
XML, Consistency management, constraint checking, automatic link generation |
| 1 | David S. Wile |
Towards a synthesis of dynamic architecture event languages. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
architecture change events, gauge infrastructure, probe infrastructure, xADL, xArch, software architectures, acme, dynamic architectures |
| 1 | Hamidah Ibrahim |
A Strategy for Semantic Integrity Checking in Distributed Databases. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Su, Bintou Kane, Victor Chen, Cuong Diep, De Ming Guan, Jennifer Look, Elke A. Rundensteiner |
A Lightweight XML Constraint Check and Update Framework. |
ER (Workshops) |
2002 |
DBLP DOI BibTeX RDF |
Structural Consistency, XQuery, XML Schema, XML Update |
| 1 | Wei Li, Richard T. Snodgrass, Shiyan Deng, Vineel Kumar Gattu, Aravindan Kasthurirangan |
Efficient Sequenced Integrity Constraint Checking. |
ICDE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Richters, Martin Gogolla |
Validating UML Models and OCL Constraints. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ombretta Arvigo, Barbara Catania |
Integrity Constraint Checking in U-Datalog |
SEBD |
1999 |
DBLP BibTeX RDF |
|
| 1 | Laks V. S. Lakshmanan, Raymond T. Ng, Jiawei Han, Alex Pang |
Optimization of Constrained Frequent Set Queries with 2-variable Constraints. |
SIGMOD Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia J. Teller, M. E. Maxwell, Ann Q. Gates |
Towards the design of a snoopy coprocessor for dynamic software-fault detection. |
IPCCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Raju Pandey, Brant Hashii |
Providing Fine-grained Access Control for Java Programs. |
ECOOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith K. S. Lee, Y. H. Chin |
A New Replication Strategy for Unforeseeable Disconnection under Agent-Based Mobile Computing System. (PDF / PS) |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
fault tolerance, mobile computing, distributed database, Data replication, constraint checking |
| 1 | Paul W. P. J. Grefen, Jennifer Widom |
Protocols for Integrity Constraint Checking in Federated Databases. |
Distributed and Parallel Databases |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Bertino, Barbara Catania, Stéphane Bressan |
Integrity Constraint Checking in Chimera. |
CDB |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sushil Jajodia, Pierangela Samarati, V. S. Subrahmanian |
A Logical Language for Expressing Authorizations. |
IEEE Symposium on Security and Privacy |
1997 |
DBLP DOI BibTeX RDF |
secuity policy, Access control, authorization |
| 1 | Sun Jianling, He Zhijun |
Transparent Access to Persistent Objects in Object-Oriented Databases. |
TOOLS |
1997 |
DBLP DOI BibTeX RDF |
Integration, Programming Language, Object-Oriented Database, Persistent Object |
| 1 | Carme Martín, Jaume Sistac |
An Integrity Constraint Checking Method for Temporal Deductive Databases. |
TIME |
1996 |
DBLP BibTeX RDF |
|
| 1 | Kenneth A. Ross, Divesh Srivastava, S. Sudarshan |
Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time. |
SIGMOD Conference |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sin Yeung Lee, Tok Wang Ling |
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. |
VLDB |
1996 |
DBLP BibTeX RDF |
|
| 1 | Carme Martín, Jaume Sistac |
Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking. |
Logic in Databases |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul W. P. J. Grefen, Jennifer Widom |
Integrity Constraint Checking in Federated Databases. |
CoopIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Bruno Defude, Hervé Martin |
Integrity Constraint Checking for Nested Transactions. |
DEXA Workshops |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ron Seljée |
A New Method for Integrity Constraint Checking in Deductive Database. |
Data Knowl. Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Bassiliades, Ioannis P. Vlahavas |
Constraint Checking in a Parallel Object-oriented Database System. |
Parallel Algorithms Appl. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Wallace, Stéphane Bressan, Thierry Le Provost |
Magic Checking: Constraint Checking for Database Query Optimization. |
CDB |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene C. Freuder |
Using Metalevel Constraint Knowledge to Reduce Constraint Checking. |
Constraint Processing, Selected Papers |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
| 1 | Michael Lawley |
Transaction Safety in Deductive Object-Oriented Databases. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron Seljée |
Intergrity Constraint Checking for Updates in Deductive Databases, a different approach. |
Bulletin of the EATCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom |
Efficient and Complete Tests for Database Integrity Constraint Checking. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Anne Doucet, Xavier Schaefer |
Integrity constraint checking optimization based on abstract interpretation. |
BDA |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael Lawley, Rodney W. Topor, Mark Wallace |
Using Weakest Preconditions to Simplify Integrity Constraint Checking. |
Australian Database Conference |
1993 |
DBLP BibTeX RDF |
|
| 1 | Nabil Kamel, Roger King |
Intelligent Database Caching Through the Use of Page-Answers and Page-Traces. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
page access, databases, artificial intelligence |
| 1 | Edward Sciore |
Using Annotations to Support Multiple Kinds of Versioning in an Object-Oriented Database System. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
object-oriented databases, configuration management, versions |
| 1 | Ulrike Griefahn, Stefan Lüttringhaus |
Top-Down Integrity Constraint Checking for Deductive Databases. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Elmar Eder, Yan Liu |
Rule-Based Mechanism for Constraint Checking in Logic Programs. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
| 1 | Subrata Kumar Das, M. Howard Williams |
A Path Finding Method for Constraint Checking in Deductive Databases. |
Data Knowl. Eng. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bern Martens, Maurice Bruynooghe |
Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. |
Expert Database Conf. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Patrizia Asirelli, Paola Inverardi, A. Mustaro |
Improving Integrity Constraint Checking in Deductive Databases. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Lloyd, Liz Sonenberg, Rodney W. Topor |
Integrity Constraint Checking in Stratified Databases. |
J. Log. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Tok Wang Ling |
Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. |
Data Knowl. Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Vighneswara Row Mokkarala, Antony Fan, Ravi Apte |
A unified approach to simulation and timing verification at the functional level. |
DAC |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence J. Henschen, William McCune, Shamim A. Naqvi |
Compiling Constraint-Checking Programs from First-Order Formulas. |
Advances in Data Base Theory |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")