Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1008
search results - page 4 / 202
»
Logic and Databases
Sort
relevance
views
votes
recent
update
View
thumb
title
5
click to vote
ICDE
1989
IEEE
55
views
Database
»
more
ICDE 1989
»
Modeling Semantic Constraints with Logic in the EARL Data Model
13 years 11 months ago
Download
www.cse.sc.edu
James P. Davis, Ronald D. Bonnell
claim paper
Read More »
20
click to vote
VLDB
1990
ACM
66
views
Database
»
more
VLDB 1990
»
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
13 years 11 months ago
Download
www.cse.iitb.ac.in
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha...
claim paper
Read More »
17
click to vote
SIGMOD
2010
ACM
131
views
Database
»
more
SIGMOD 2010
»
The declarative imperative: experiences and conjectures in distributed logic
13 years 6 months ago
Download
www.eecs.berkeley.edu
Joseph M. Hellerstein
claim paper
Read More »
19
click to vote
EUSFLAT
2009
133
views
Fuzzy Logic
»
more
EUSFLAT 2009
»
Flexible Retrieval of X-Ray Images Based on Shape Descriptors Using a Fuzzy Object-Relational Database
13 years 5 months ago
Download
www.eusflat.org
Juan Miguel Medina, Sergio Jaime-Castillo, Carlos ...
claim paper
Read More »
23
click to vote
ICDT
2003
ACM
121
views
Database
»
more
ICDT 2003
»
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
14 years 24 days ago
Download
homepages.inf.ed.ac.uk
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
Floris Geerts, Bart Kuijpers
claim paper
Read More »
« Prev
« First
page 4 / 202
Last »
Next »