logic   20015

« earlier    

Say NO to Venn Diagrams When Explaining JOINs – Java, SQL and jOOQ.
In recent times, there have been a couple of tremendously popular blog posts explaining JOINs using Venn Diagrams. After all, relational algebra and SQL are set oriented theories and languages, so it only makes sense to illustrate set operations like JOINs using Venn Diagrams. Right? Google seems to say so: Everyone uses Venn Diagrams to…
database  programming  sql  joins  reference  data  IFTTT  databases  logic  code 
10 days ago by dot404
Data Tables with Similarity Relations: Functional Dependencies, Complete Rules and Non-redundant Bases | SpringerLink
We study rules A⟹BA⟹B describing attribute dependencies in tables over domains with similarity relations. A⟹BA⟹B reads “for any two table rows: similar values of attributes from A imply similar values of attributes from B”. The rules generalize ordinary functional dependencies in that they allow for processing of similarity of attribute values. Similarity is modeled by reflexive and symmetric fuzzy relations. We show a system of Armstrong-like derivation rules and prove its completeness (two versions). Furthermore, we describe a non-redundant basis of all rules which are true in a data table and present an algorithm to compute bases.
database  logic  esoteric  sources 
10 days ago by kmt

« earlier    

related tags

$1.5  2014  @proglang  agriculture  ai  algorithms  alternative  analytics  analyzer  and  angel  animals  antiintellectual  aoc  apple  architecture  argument  arguments  art  article  audio  auk  autobiographies  axiom  bacteria  benjaminbratton  biographies  biography  biology  bitlocker  book  books  boolean  brain  business  bypass  capitalism  career  category-theory  category  categorytheory  climatechange  code  cognition  comparison  compilers  complexity  computer  computer_science  computerscience  computing  cool  crabs  crisis  data  database  databases  datalog  deal  debate  decision  deepdive  deeplearning  deeptime  design  distributed  dna  down  dr-nim  early  ebook  ecology  economics  economy  edu  education  eengine  egafutura  eleanorsaitta  emergent  endpoint  engineering  enlightened  entityextraction  esoteric  euclid  event  evolution  extinction  fallacies  fallacy  fde  federalreserve  fiction  film  fpga  free  functional  fungus  future  game  games  garageband  gene  gentle  gif  github  government  graph  graphic  graql  hangzhou  hardware  health  hilbert  hillelogram  his  history  how-to  hunt  ice40  ideas  ifttt  in  inference  inflation  intelligence  internet  interop  investment  iq  it  joins  kellereasterling  knowledge-management  knowledge  knowledgegraph  label  language  languages  learning  linearalgebra  logic-gates  logical  longduree  mac  machinecomprehension  math  mathematics  maths  mauriziolazzarato  medicine  memes  memory  mentalmodel  microbe  military  million  mind  mit  motivation  music  mystery  nand  nature  ner  neuroscience  nlp  nonhuman  nothing’  nuclear  osx  p=np  paper  parasite  performance  philos  philosopher  philosophers  philosophy  plt  pocket  politics  pro  probabilistic  problem  processing  productivity  programming-language  programming-languages  programming  programming_visual  prolog  proof  proofs  protools  psychology  puzzle  puzzles  querying  racism  recalls  reference  research  resource  rule  science  security  semanticweb  serpentine  signature  smunaut  sniffing  software  softwaredevelopment  soldier-crabs  solving  sources  space  sql  startups  stephenmoore  strategy  stupid  success  swarming  symbol  symbols  system_modeling  systems  table  teaching  term  terminology  textanalysis  theory  thinking  time  timothymorton  tips  tools  top  towrite  toys  tpm  travel  turning  tutorial  twitfile  vs  war  was  window  writing  x  youtube  ​theater  ‘like 

Copy this bookmark: