மேற்கண்டவற்றைப் பார்ப்பதற்கான மற்றொரு வழி அடிப்படைக் கணிதச் செயல்பாடுகளைத் திறனாய்வு செய்தல் ஆகும்: 

F(x) என்பது ஒரு சார்பற்ற மாறியின் ஒற்றை-மதிப்புடைய செயல்பாடாக இருக்கிறது. சார்பற்ற மாறி கற்பிதம் A வுக்கு ஒத்ததாக இருக்கிறது. சார்பு மாறி (அல்லது மேற்கண்ட சொல்லைப் பயன்படுத்திச் சார்புக் கற்பிதம்) மற்றும் இப்போதிருந்து செயல்பாட்டுச் சார்புநிலை என்ற வார்த்தை F(A) இன் மதிப்பாக இருக்கிறது; A என்பது சார்பற்றக் கற்பிதம் ஆகும். வரையறை ரீதியாக ஒற்றை-மதிப்புடைய செயல்பாடுகள் ஒரே ஒரு வெளியீட்டை மட்டுமே கொண்டிருக்க முடியும். குறிப்பிட்டுச் சொல்லும்போது இந்தத் தொடர்பைக் கணிதத்தில் F(A) = B அல்லது F : A → B என்று குறிப்பிடுவது பொதுவான ஒன்றாகும்.

பொதுவாக ஒன்றுக்கு மேற்பட்ட சார்பற்ற மாறிகளின் செயல்பாடுகளும் இருக்கின்றன. அவை பலமாறிச் செயல்பாடுகள் எனக் குறிப்பிடப்படுகின்றன. ஒரு கற்பிதம் ஆனது கற்பிதங்களின் தொகுப்புடன் செயல்பாட்டுச் சார்புநிலையை இந்த உத்தி கொண்டிருக்கலாம் என்பதைக் குறிப்பிடுகிறது. இதனால் ஒற்றை-மதிப்புடைய F(x,y,z) மூன்று சாரா மாறிகள் அல்லது சார்பற்ற கற்பிதங்கள் மற்றும் F(x,y,z) என்று அழைக்கப்படும் ஒரு சார்புக் கற்பிதத்தைக் கொண்டிருக்கிறது. 









இயல்பாக்கத்துக்கான பின்னணி: வரையறைகள்
முதல் அல்லாத இயல்பு வடிவம் (NF² அல்லது N1NF)
ஒரு குறிப்பிட்ட வினவல் உருமாதிரியை நோக்கிய ஒரு சார்பைத் தவிர்த்தல்
தரவுத்தள கட்டமைப்பை விரிவாக்கும் போது மறுவடிவமைப்பைக் குறைத்தல்